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