Bingqing Xu, Lichen Zhang. A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems. In IEEE 11th International Conference on Dependable, Autonomic and Secure Computing, DASC 2013, Chengdu, China, December 21-22, 2013. pages 288-295, IEEE, 2013. [doi]
Abstract is missing.