1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. K. Jensen & L.M. Kristensen (2009): Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg, doi:10.1007/b95112.
  11. 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.
  12. 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.
  13. 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.
  14. K. Winter (2002): Model Checking Railway Interlocking Systems. In: Proceeding of the 25th Australian Computer Science Conference (ACSC 2002).
  15. 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.
  16. K. Winter & N. Robinson (2003): Modelling Large Railway Interlockings and Model Checking Small Ones. In: Proceeding of the Australian Cumputer Science Conference (ACSC 2003).

Comments and questions to:
For website issues: