1. Certware: A workbench for safety case production and analysis;Barry,2011
2. Modeling the railway control domain rigorously with a UML 2.0 profile;Berkenkötter,2006
3. A methodology for safety case development;Bishop,1998
4. Efficient formalization of railway interlocking data in railml;Bosschaart;Inf. Syst.,2015
5. Rapport d’enquête technique sur l’accident ferroviaire survenu à Saint-Romain-En-Gier le 5 Avril 2004,2004