Efficient Run-time Monitoring Of Timing Constraints | IEEE Conference Publication | IEEE Xplore