J. Abrial, The B-Book: Assigning programs to meanings, 1996.
DOI : 10.1017/CBO9780511624162

P. Barger, W. Schön, and M. Bouali, A study of railway ERTMS safety with Colored Petri Nets, European Safety and Reliability Conference, ES- REL'09, 2009.

S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer et al., Enabling the usage of UML in the verification of railway systems: The DAM-rail approach, Reliability Engineering & System Safety, vol.120, pp.112-126, 2013.
DOI : 10.1016/j.ress.2013.06.032

E. Etcs, RAMS Requirements Specification , Reference EEIG, pp.96-126, 1998.

E. Etcs, ERA, Func- tional Requirements Specification, 2010.

E. Etcs, ERA, System Requirements Specification, UNISIG SUBSET -026, pp.4-026, 2010.

A. Fantechi, W. Fokkink, and A. Morzenti, Formal Methods for Industrial Critical Systems: A Survey of Applications, formal methods applications to railway signaling, pp.63-84, 2013.

M. Ghazel, Formalizing a subset of ERTMS/ETCS specifications for verification purposes, Transportation Research Part C: Emerging Technologies, vol.42, pp.60-75, 2014.
DOI : 10.1016/j.trc.2014.02.002
URL : https://hal.archives-ouvertes.fr/hal-00985704

S. Jabri, E. El-koursi, E. Lemaire, and T. Bourdeaud-'huy, Modelling of the European Rail Traffic Management System (ERTMS) for checking objectives, 12th IFAC Symposium on Control in Transportation Systems, 2009.
DOI : 10.3182/20090902-3-US-2007.0097
URL : https://hal.archives-ouvertes.fr/hal-00802242

F. Mecitoglu and M. T. Soylemez, A UML Modelling Approach for a Railway Signalization System Simulator and SCADA System, 1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, 2013.
DOI : 10.3182/20130916-2-TR-4042.00030

A. Zimmermann and J. Trowitzsch, Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, pp.128-139, 2009.