Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints | IEEE Conference Publication | IEEE Xplore