Bingqing Xu, Lichen Zhang. Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory. In 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), Beijing, China, August 20-23, 2013. pages 804-811, IEEE, 2013. [doi]
Abstract is missing.