A. Svendsen et al (2008):
The Future of Train Signaling.
In: Proceedings of MoDELS 2008,
Lecture Notes in Computer Science 5301.
Springer Verlag,
pp. 128–142,
doi:10.1007/978-3-540-87875-9_9.
T. Basten, R. Bol & M. Voorhoeve (1995):
Simulating and Analyzing Railway Interlockings in ExSpec.
IEEE Parallel & Distributed Technology, Systems & Applications 3(3),
pp. 50–62,
doi:10.1109/M-PDT.1995.414843.
J. Bjørk, A. M. Hagalisletto & P. Enger (June 2006):
Large Scale simulations of Railroad Nets.
In: Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06,Bericht 272, FBI-HH-B-272/06,
pp. 45–101.
C. Chevillat, D. Carrington, P. Strooper, J. G. Süß & L. Wildman (2008):
Model-Based Generation of Interlocking Controller Software from Control Tables.
In: Proceeding of ECMDA-FA 2008,
Lecture Notes in Computer Science 5095.
Springer, Heidelberg,
pp. 349–360,
doi:10.1007/978-3-540-69100-6_24.
A. Cimatti, F. Giunchiglia E. Clarke & M. Roveri (1999):
NuSMV: A new symbolic model verifier.
In: Proceedings of International Conference on Computer Aided Verification, CAV'99,
Lecture Notes in Computer Science 1633.
Springer Verlag,
pp. 495–499,
doi:10.1007/3-540-48683-6_44.
W.J. Fokkink & P.R. Hollingshead (May 1998):
Verification of Interlockings: from Control Tables to Ladder Logic Diagrams.
In: Proceedings of 3rd Workshop on Formal Methods for Industrial Critical Systems (FMICS'98).
Stichting Mathematisch Centrum,
Amsterdam,
pp. 171–185.
A. M. Hagalisletto, J. Bjørk, I. C. Yu & P. Enger (2007):
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 37(4),
pp. 444–460,
doi:10.1109/TSMCC.2007.897323.
K. M. Hansen (1994):
Formalizing Railway Interlocking Systems.
In: Nordic Seminar on Dependable Computing Systems.
Department of Computer Science, Technical University of Denmark,
pp. 83–94.
C. W. Janczura (1998):
Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets.
School of Mathematics and Institute for Telecommunications Research, University of South Australia,
Adelaide, Australia.
K. Jensen & L.M. Kristensen (2009):
Coloured Petri Nets: Modelling and Validation of Concurrent Systems.
Springer, Heidelberg,
doi:10.1007/b95112.
S. Vanit-Anunchai (2009):
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.
Department of Computer Science, University of Aarhus,
pp. 139–158.
S. Vanit-Anunchai (2010):
Modelling Railway Interlocking Table Using Coloured Petri Nets.
In: D. Clarke & G. Agha: Proceedings of the 12th International Conference on Coordination Models and Languages, (Coordination 2010),
Lecture Notes in Computer Science 6116.
Springer, Heidelberg,
Amsterdam, Netherlands,
pp. 137–151,
doi:10.1007/978-3-642-13414-2_10.
M. Westergaard (2013):
CPN Tools 4: Multi-formalism and Extensibility.
In: José Manuel Colom & Jörg Desel: Petri Nets,
Lecture Notes in Computer Science 7927.
Springer,
pp. 400–409,
doi:10.1007/978-3-642-38697-8_22.
K. Winter (2002):
Model Checking Railway Interlocking Systems.
In: Proceeding of the 25th Australian Computer Science Conference (ACSC 2002).
K. Winter, W. Johnston, P. Robinson, P. Strooper & L. van den Berg (2005):
Tool Support for Checking Railway Interlocking Designs.
In: Proceeding of the 10th Australian Workshop on Safety Related Programmable Systems (SCS'05).
Australian Computer Science Communications,
pp. 101–107.
K. Winter & N. Robinson (2003):
Modelling Large Railway Interlockings and Model Checking Small Ones.
In: Proceeding of the Australian Cumputer Science Conference (ACSC 2003).