The monitoring of timing constraints on time intervals | IEEE Conference Publication | IEEE Xplore