Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory | IEEE Conference Publication | IEEE Xplore