T. Basten, R. Bol, and M. Voorhoeve, Simulating and analyzing railway interlockings in ExSpect, IEEE Parallel & Distributed Technology: Systems & Applications, vol.3, issue.3, pp.50-62, 1995.
DOI : 10.1109/M-PDT.1995.414843

C. Chevilat, D. Carrington, P. Strooper, J. G. Süß, and L. Wildman, Model-Based Generation of Interlocking Controller Software from Control Tables, Proceedings of the 4th European Conference on Model Driven Architecture -Foundations and Applications, pp.349-360, 2008.
DOI : 10.1007/978-3-540-69100-6_24

A. Cimatti, E. E. Clarke, F. Giunchiglia, and M. Roveri, NuSMV: A New Symbolic Model Verifier, Proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, pp.495-499, 1999.
DOI : 10.1007/3-540-48683-6_44

M. S. Durmus and M. T. Soylemez, Railway Signalization and Interlocking Design via Automation Petri Nets, Proceedings of the 7th Asian Control Conference, Hong Kong, pp.1558-1563, 2009.

W. J. Fokkink and P. R. Hollingshead, Verification of Interlockings: from Control Tables to Ladder Logic Diagrams, Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems (FMICS'98), pp.171-185, 1998.

A. M. Hagalisletto, J. Bjørk, I. C. Yu, and P. Enger, Constructing and Refining Large-Scale Railway Models Represented by Petri Nets, IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), vol.37, issue.4, pp.444-460, 2007.
DOI : 10.1109/TSMCC.2007.897323

K. M. Hansen, Formalizing Railway Interlocking Systems, Nordic Seminar on Dependable Computing Systems, pp.83-94, 1994.

C. W. Janczura, Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets, 1998.

K. Jensen, L. M. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4213, 2007.
DOI : 10.1007/s10009-007-0038-x

A. Svendsen, G. K. Olsen, J. Endresen, T. Moen, E. Carlson et al., The Future of Train Signaling, Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, pp.128-142, 2008.
DOI : 10.1007/978-3-540-87875-9_9

W. M. Van-der-aalst and M. A. Odijk, Analysis of railway stations by means of interval timed coloured Petri nets, Real-Time Systems, vol.77, issue.4, pp.1-23, 1995.
DOI : 10.1007/BF01088807

S. Vanit-anunchai, Verification of Railway Interlocking Tables using Coloured Petri Nets In the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB 590, pp.139-158, 2009.

K. Winter, Model Checking Railway Interlocking Systems, Proceeding of the 25th Australasian Computer Science Conference, pp.303-310, 2002.
DOI : 10.4018/978-1-4666-1643-1.ch013

K. Winter, W. Johnston, P. Robinson, P. Strooper, L. Van-den et al., Tool Support for Checking Railway Interlocking Designs, Proceeding of the 10th Australian Workshop on Safety Related Programmable Systems (SCS'05), pp.101-107, 2005.

K. Winter and N. Robinson, Modelling Large Railway Interlockings and Model Checking Small Ones, Proceeding of the 26th Australasian Cumputer Science Conference, pp.309-316, 2003.