Verification of real-time systems by abstraction of time constraints | IEEE Conference Publication | IEEE Xplore