A. Faivre, A. Lapitre, A. Lanusse, M. Perin, S. Rangra, et al.. Two methods for modeling and verification of safety properties of railway infrastructures.
2015 International Conference on Industrial Engineering and Systems Management (IESM), Oct 2015, Seville, Spain. pp.48-54,
⟨10.1109/IESM.2015.7380134⟩.
⟨cea-01836265⟩