S. Busard, Q. Cappart, C. Limbrée, C. Pecheur, and &. Schaus, Verification of railway interlocking systems, Proceedings 4th International Workshop on Engineering Safety and Security Systems, pp.19-31, 2015.
DOI : 10.4204/EPTCS.184.2

Q. Cappart, C. Limbrée, and P. Legay, Verification by discrete simulation of interlocking systems, 29th Annual European Simulation and Modelling Conference 2015, pp.402-409, 2015.

H. Chernoff, A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations. The Annals of Mathematical Statistics, pp.493-507, 1952.

A. Cimatti, F. Giunchiglia, G. Mongardi, D. Romano, F. et al., Formal Verification of a Railway Interlocking System using Model Checking, Formal Aspects of Computing, vol.10, issue.4, pp.361-380, 1998.
DOI : 10.1007/s001650050022

A. Cribbens, Solid-state interlocking (SSI): an integrated electronic signalling system for mainline railways, IEE Proceedings B (Electric Power Applications), pp.148-158, 1987.
DOI : 10.1049/ip-b.1987.0024

C. Eisner, Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard, pp.99-109, 1999.
DOI : 10.1007/3-540-48153-2_9

A. Fantechi, Distributing the Challenge of Model Checking Interlocking Control Tables, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp.276-289, 2012.
DOI : 10.1007/978-3-642-34032-1_26

A. Fantechi, W. Fokkink, and A. Morzenti, Some trends in formal methods applications to railway signaling. Formal methods for industrial critical systems: a survey of applications, p.167183, 2013.

E. Anne and . Haxthausen, Applied bounded model checking for interlocking system designs, International Conference on Software Engineering and Formal Methods, pp.205-220, 2013.

M. Huber and &. King, Towards an Integrated Model Checker for Railway Signalling Data, Formal MethodsGetting IT Right, pp.204-223, 2002.
DOI : 10.1007/3-540-45614-7_12

C. Jégourel, A. Legay-&-sean, and . Sedwards, Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification -25th International Conference, pp.576-591, 2013.
DOI : 10.1007/978-3-642-39799-8_38

C. Jegourel, A. Legay-&-sean, and . Sedwards, An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, Leveraging Applications of Formal Methods, Verification and Validation . Specialized Techniques and Applications, pp.143-159, 2014.
DOI : 10.1007/978-3-662-45231-8_11

URL : https://hal.archives-ouvertes.fr/hal-01087828

N. Kamide, Bounded linear-time temporal logic: A proof-theoretic investigation, Annals of Pure and Applied Logic, vol.163, issue.4, pp.439-466, 2012.
DOI : 10.1016/j.apal.2011.12.002

URL : http://dx.doi.org/10.1016/j.apal.2011.12.002

A. Legay, B. Delahaye, and &. Bensalem, Statistical Model Checking: An Overview, pp.122-135, 2010.
DOI : 10.1007/978-3-642-16612-9_11

URL : https://hal.archives-ouvertes.fr/inria-00591593

A. Nash, D. Huerlimann, J. Schütte, &. Vasco, and P. Krauss, RailML -a standard data interface for railroad applications. Publication of, 2004.

M. Odersky, P. Altherr, V. Cremet, and B. Emir, An overview of the Scala programming language, 2004.

O. Team, OscaR: Scala in OR Available from https, 2012.

K. Winter, . Johnston, P. Robinson, &. Strooper, . Van-den et al., Tool support for checking railway interlocking designs, Proceedings of the 10th Australian workshop on Safety critical systems and software, pp.101-107, 2006.

K. Winter, Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings, pp.246-260, 2012.
DOI : 10.1007/978-3-642-34032-1_24