Ensuring the satisfaction of a temporal specification at run-time | IEEE Conference Publication | IEEE Xplore