Verifying a Real-Time Language with Constraints | IEEE Conference Publication | IEEE Xplore