F. Flammini, S. Marrone, M. Iacono, N. Mazzocca, and V. Vittorini, A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING, International Journal of Reliability, Quality and Safety Engineering, vol.21, issue.01, pp.1450001-2014
DOI : 10.1142/S0218539314500016