Jinzhao Wu, Shihan Yang. Timed CSP for Safety Specification of Hybrid System. In Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008. pages 1913-1918, IEEE Computer Society, 2008. [doi]
Abstract is missing.