Mariano Di Claudio, Alessandro Fantechi, Giacomo Martelli, Simone Menabeni, Paolo Nesi. Model-based development of an automatic train operation component for communication based train control. In 17th International IEEE Conference on Intelligent Transportation Systems, ITSC 2014, Qingdao, China, October 8-11, 2014. pages 1015-1020, IEEE, 2014. [doi]
Abstract is missing.