@(railML,
 year         = {2015},
 title        = {{T}he {XML}-{I}nterface for {R}ailway {A}pplications - \url{http://www.railml.org}},
 url          = {http://www.railml.org},
)
@article(Work2013_8,
 author       = {{R}obert {A}bo and {L}aurent {V}oisin},
 year         = {2013},
 title        = {{Data Formal Validation of Railway Safety-Related Systems: Implementing the OVADO Tool}},
 journal      = {FM-RAIL-BOK, Workshop 2013, Madrid},
 pages        = {27--32},
 doi          = {10.1007/978-3-319-05032-4\_17},
)
@article(N20,
 author       = {{H}ubert {B}ellon},
 year         = {2014},
 title        = {{Data Preparation Guide for Interlocking used in the Belgian Railways}},
 journal      = {Infrabel - technical references},
 volume       = {N20},
)
@inproceedings(Busard-Pecheur-13,
 author       = {Simon Busard and Charles Pecheur},
 year         = {2013},
 title        = {{PyNuSMV: NuSMV as a Python Library}},
 editor       = {Guillaume Brat and Neha Rungta and Arnaud Venet},
 booktitle    = {Nasa Formal Methods 2013},
 series       = {LNCS},
 volume       = {7871},
 publisher    = {Springer-Verlag},
 pages        = {453--458},
 doi          = {10.1007/978-3-642-38088-4\_33},
)
@(EN50128,
 author       = {CENELEC},
 year         = {2011},
 title        = {{EN}50128 - {R}ailway applications - {C}ommunication, {S}ignalling and {P}rocessing {S}ystems - {S}oftware for {R}ailway {C}ontrol and {P}rotection {S}ystems},
)
@incollection(NuSMV2,
 author       = {Alessandro Cimatti and Edmund Clarke and Enrico Giunchiglia and Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto Sebastiani and Armando Tacchella},
 year         = {2002},
 title        = {{NuSMV 2: An OpenSource Tool for Symbolic Model Checking}},
 editor       = {Ed Brinksma and KimGuldstrand Larsen},
 booktitle    = {Computer Aided Verification},
 series       = {Lecture Notes in Computer Science},
 volume       = {2404},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {359--364},
 doi          = {10.1007/3-540-45657-0\_29},
)
@book(Clarke1999,
 author       = {Edmund M. Clarke and Orna Grumberg and Doron Peled},
 year         = {2001},
 title        = {Model checking},
 publisher    = {{MIT} Press},
 doi          = {10.1016/B978-044450813-3/50026-6},
 url          = {http://books.google.de/books?id=Nmc4wEaLXFEC},
)
@inbook(genView,
 author       = {Alessandro Fantechi and Wan Fokkink and Angelo Morzenti},
 year         = {2012},
 title        = {{Some Trends in Formal Methods Applications to Railway Signaling}},
 pages        = {61--84},
 publisher    = {John Wiley \& Sons, Inc.},
 doi          = {10.1002/9781118459898.ch4},
)
@article(SSIgdlSMV,
 author       = {Michael Huber and Steve King},
 year         = {2002},
 title        = {{Towards an Integrated Model Checker for Railway Signalling Data}},
 journal      = {Springer-Verlag Berlin Heidelberg 2002},
 pages        = {20},
 doi          = {10.1007/3-540-45614-7\_12},
)
@article(Iran,
 author       = {Ahmad Mirabadi and Mohammad B. Yazdi},
 year         = {2009},
 title        = {{Automatic Generation and Verification of Railway Interlocking Control Tables using FSM and NuSMV}},
 journal      = {Transport Problems : an International Scientific Journal 4},
 pages        = {103--110},
 url          = {http://www.transportproblems.polsl.pl/pl/Archiwum/2009/zeszyt1/2009t4z1_13.pdf},
)
@article(CSPB3,
 author       = {Faraon Moller and Hoang Nga Nguyen and Markus Roggenbach and Steve Schneider and Helen Treharne},
 year         = {2012},
 title        = {{Combining Event-based and State-based Modeling for Railway Verification}},
 journal      = {Computing Sciences Report},
)
@article(CSPB5,
 author       = {Faraon Moller and Hoang Nga Nguyen and Markus Roggenbach and Steve Schneider and Helen Treharne},
 year         = {2012},
 title        = {{CSP$\delimiter"026B30D $B Modelling for Railway Verification: The Double Junction Case Study}},
 journal      = {Proceedings of the 12th International Workshop on Automated Verification of Critical Systems},
)
@incollection(CSPB2,
 author       = {Faron Moller and HoangNga Nguyen and Markus Roggenbach and Steve Schneider and Helen Treharne},
 year         = {2013},
 title        = {{Defining and Model Checking Abstractions of Complex Railway Models Using CSP$\delimiter"026B30D $B}},
 editor       = {Armin Biere and Amir Nahir and Tanja Vos},
 booktitle    = {Hardware and Software: Verification and Testing},
 series       = {Lecture Notes in Computer Science},
 volume       = {7857},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {193--208},
 doi          = {10.1007/978-3-642-39611-3\_20},
)
@article(CENELEC2011,
 author       = {{G}eorge {R}aymond},
 year         = {2014},
 title        = {Where are the {CENELEC} standards going ?},
 journal      = {{IRSE N}ews},
 volume       = {Issue 203},
 pages        = {21--23},
)
@inproceedings(WIN1,
 author       = {Kirsten Winter and Neil J. Robinson},
 title        = {{Modelling Large Railway Interlockings and Model Checking Small Ones}},
 booktitle    = {In Michael Oudshoorn, editor, Twenty-Fifth Australasian Computer Science Conference (ACSC2003)},
 pages        = {309--316},
)