1. Jo H-J, Yoon Y-K, Hwang J-G (2009) Analysis of the formal specification application for train control systems. J Electr Eng Technol 4(1):87–92
2. IEC62278:2002 Railway applications: Specification and demonstration of reliability, availability, maintainability and safety (RAMS)
3. Reed GM, Roseoe AW (1986) A timed model for communicating sequential processes. Pro ICALP’86. Lecture notes in computer science. Springer, Berlin
4. He J (2013) A clock-based framework for constructions of hybrid systems. Key talk. In the Proceedings of ICTAC’2013
5. Xu B, He J, Zhang L (2013) Specification of cyber physical systems based on clock theory. Int J Hybrid Inf Technol 6(3):45–54