, Standard NF EN 50128 Railway applications. Communication, signalling and processing systems. Software for railway control and protection systems

, Standard IEC 61508 Functional Safety of Electrical/Electronic/Programmable Electronic Safety

R. Rétiveau, La signalisation fériovaire. Département Edition de l'Association des Ingénieurs Anciens Elèves de l'Ecole Nationale des Ponts et Chaussées, 1987.

N. F. Standard and . En, 50126 Railway Applications Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS)

A. E. Haxthausen, Hoang Nga Nguyen, and Markus Roggenbach, Comparing Formal Verification Approaches of Interlocking

S. Coudert and T. J. Tanzi, Formal Methods for Safe Design of Autonomous Systems dedicated to risk management, 2016.

J. L. Krivine and G. Kreisel, Elements of mathematical logic (model theory), 1967.

I. Sommerville, Chapter 27. formal methods, 2011.

J. , Modeling in Event-B: System and Software Engineering, 2010.

J. , Modeling in Event-B: System and Software Engineering, 2010.

E. M. Clarke, O. Grumberg, and D. A. , Peled, Model checking, 2001.

J. Liu and J. Liu, A formal framework for hybrid event b, Electronic Notes in Theoretical Computer Science, vol.309, pp.3-12, 2014.

A. Platzer, A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems, Logical Methods in Computer Science, vol.8, issue.4, p.10, 2012.

E. M. Clarke and S. Gao, Model checking hybrid systems -(invited talk), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications -6th International Symposium, pp.385-386, 2014.

A. Fürst, Formal Development of a train control system using event-B. Theses, ETH Zurich, 2015.

S. Busard, Q. Cappart, C. Limbrée, C. Pecheur, and P. Schaus, Verification of railway interlocking systems, ESSS 2015, pp.19-31, 2015.

L. Vu, A. E. Haxthausen, and J. Peleska, Formal modelling and verification of interlocking systems featuring sequential release, Science of Computer Programming, vol.133, pp.91-115, 2017.

A. E. Haxthausen and P. H. Østergaard, On the Use of Static Checking in the Verification of Interlocking Systems, pp.266-278, 2016.

M. Benerecetti, R. D. Guglielmo, U. Gentile, S. Marrone, N. Mazzocca et al., Dynamic state machines for modelling railway control systems, Science of Computer Programming, vol.133, issue.2, pp.116-153, 2014.

A. Fehnker, E. M. Clarke, S. K. Jha, and B. H. Krogh, Refining abstractions of hybrid systems using counterexample fragments, Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, pp.242-257, 2005.