@article{ERTMS1014, author = {Francesco Flammini and Stefano Marrone and Mauro Iacono and Nicola Mazzocca and Valeria Vittorini}, title = {A Multiformalism Modular Approach to {ERTMS/ETCS} Failure Modelling}, journal = {International Journal of Reliability, Quality and Safety Engineering}, volume = {21}, number = {01}, pages = {1450001-1-1450001-29}, year = {2014}, doi = {10.1142/S0218539314500016} }