Bingqing Xu, Lichen Zhang. Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory. In IEEE 16th International Conference on Computational Science and Engineering, CSE 2013, 3-5 December, 2013, Sydney, Australia. pages 588-594, IEEE, 2013. [doi]
Abstract is missing.