Jintao Liu, Tao Tang, Lin Zhao, Tianhua Xu, Wei Zheng. Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata. In IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2012, Shenzhen, China, April 11, 2012. pages 7-12, IEEE, 2012. [doi]
Abstract is missing.