Verification system for real-time specification based on extended real-time logic | IEEE Conference Publication | IEEE Xplore