Xuefei Li, Ming Chai, Haifeng Wang. Modeling and Verification of Route Protection for Train-centric Train Control System. In 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27-30, 2019. pages 2189-2194, IEEE, 2019. [doi]
Abstract is missing.