Model-based development of an automatic train operation component for communication based train control. - Mariano Di Claudio; Alessandro Fantechi; Giacomo Martelli; Simone Menabeni; Paolo Nesi (ITSC, 2014)