Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory | IEEE Conference Publication | IEEE Xplore