Lin Zhao, Ming Chai, Yang Liu. Monitor-based temporal properties checking of train control systems with quantitative constraints. In 17th International IEEE Conference on Intelligent Transportation Systems, ITSC 2014, Qingdao, China, October 8-11, 2014. pages 2846-2851, IEEE, 2014. [doi]
Abstract is missing.