A formal design of the hybrid European rail traffic management system. - Paolo Gaspari; Elvinia Riccobene; Angelo Gargantini (ECSA (Companion), 2019)