@Inproceedings{EPTCS268.4, author = {Mazzanti, Franco and Ferrari, Alessio}, year = {2018}, title = {Ten Diverse Formal Models for a CBTC Automatic Train Supervision System}, editor = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin}, booktitle = {{\rm Proceedings Third Workshop on} Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation, {\rm Thessaloniki, Greece, 20th April 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {268}, publisher = {Open Publishing Association}, pages = {104-149}, doi = {10.4204/EPTCS.268.4}, }