Frequency-based designs for terminating simulations: a peace-enforcement example | IEEE Conference Publication | IEEE Xplore