@article(barlas,
 author       = {Yaman Barlas},
 year         = {1996},
 title        = {Formal Aspects of Model Validity and Validation in System Dynamics},
 journal      = {System Dynamics Review - SYST DYNAM REV},
 volume       = {12},
 doi          = {10.1002/(SICI)1099-1727(199623)12:3<183::AID-SDR103>3.0.CO;2-4},
)
@inproceedings(circus,
 author       = {S. L. M. Barrocas and Marcel Oliveira},
 year         = {2012},
 title        = {JCircus 2.0: an Extension of an Automatic Translator from Circus to Java},
 editor       = {Peter H. Welch and Frederick R. M. Barnes and Kevin Chalmers and Jan B{\ae}kgaard Pedersen and Adam T. Sampson},
 booktitle    = {34th Communicating Process Architectures, {CPA} 2012, organised under the auspices of WoTUG},
 publisher    = {Open Channel Publishing Ltd.},
 pages        = {15--36},
 url          = {http://wotug.org/paperdb/show\_pap.php?f=1\&num=662},
)
@inproceedings(perf,
 author       = {Nazim Benaissa and David Bonvoisin and Abderrahmane Feliachi and Julien Ordioni},
 year         = {2016},
 title        = {The {PERF} Approach for Formal Verification},
 editor       = {Thierry Lecomte and Ralf Pinger and Alexander Romanovsky},
 booktitle    = {{RSSRail 2016 proc.}},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {203--214},
 doi          = {10.1007/978-3-319-33951-1\_15},
)
@article(time,
 author       = {Bj{\o}rk, Joakim and Frank S. de Boer and Einar Broch Johnsen and Rudolf Schlatte and {Tapia Tarifa}, Silvia Lizeth},
 year         = {2013},
 title        = {User-defined schedulers for real-time concurrent objects},
 journal      = {{ISSE}},
 volume       = {9},
 number       = {1},
 pages        = {29--43},
 doi          = {10.1007/s11334-012-0184-5},
)
@inproceedings(isola,
 author       = {Manfred Broy and Klaus Havelund and Rahul Kumar and Bernhard Steffen},
 year         = {2018},
 title        = {Towards a Unified View of Modeling and Programming (Track Introduction)},
 editor       = {Tiziana Margaria and Bernhard Steffen},
 booktitle    = {{ISoLA}},
 publisher    = {Springer},
 pages        = {3--21},
 doi          = {10.1007/978-3-030-03418-4\_1},
)
@misc(en,
 author       = {{CENELEC}},
 year         = {2011},
 title        = {{DIN EN 50128:2011, Railway applications -- Communication, Signalling and Processing Signals}},
)
@misc(ril408,
 author       = {{DB Netz AG, Frankfurt, Germany}},
 year         = {2017},
 title        = {{Richtlinie 408, Fahrdienstvorschrift}},
)
@misc(ril819,
 author       = {{DB Netz AG, Frankfurt, Germany}},
 year         = {2017},
 title        = {{Richtlinie 819, LST-Anlagen planen}},
)
@inproceedings(dill,
 author       = {Stefan Dillmann and Reiner H{\"{a}}hnle},
 year         = {2019},
 title        = {Automated Planning of {ETCS} Tracks},
 booktitle    = {RSSRail},
 series       = {LNCS},
 volume       = {11495},
 publisher    = {Springer},
 pages        = {79--90},
 doi          = {10.1007/978-3-030-18744-6\_5},
)
@misc(eba,
 author       = {{Eisenbahnbundesamt (Federal Railway Authority)}},
 year         = {2017},
 title        = {Eisenbahn-Bau- und Betriebsordnung},
 note         = {April 2017: https://www.gesetze-im-internet.de/ebo/index.html},
)
@article(FerrariGRTBFG18,
 author       = {Alessio Ferrari and Gloria Gori and Benedetta Rosadini and Iacopo Trotta and Stefano Bacherini and Alessandro Fantechi and Stefania Gnesi},
 year         = {2018},
 title        = {Detecting requirements defects with {NLP} patterns: an industrial experience in the railway domain},
 journal      = {Empirical Software Engineering},
 volume       = {23},
 number       = {6},
 pages        = {3684--3733},
 doi          = {10.1007/s10664-018-9596-7},
)
@inproceedings(FischerD19,
 author       = {Tomas Fischer and Dana Dghaym},
 year         = {2019},
 title        = {Formal Model Validation Through Acceptance Tests},
 booktitle    = {RSSRail 2019},
 series       = {LNCS},
 volume       = {11495},
 publisher    = {Springer},
 pages        = {159--169},
 doi          = {10.1007/978-3-030-18744-6\_10},
)
@inproceedings(ovado,
 author       = {Manel Fredj and Sven Leger and Abderrahmane Feliachi and Julien Ordioni},
 year         = {2017},
 title        = {{OVADO} - Enhancing Data Validation for Safety-Critical Railway Systems},
 editor       = {Alessandro Fantechi and Thierry Lecomte and Alexander B. Romanovsky},
 booktitle    = {{RSSRail 2017 proc.}},
 series       = {LNCS},
 volume       = {10598},
 publisher    = {Springer},
 pages        = {87--98},
 doi          = {10.1007/978-3-319-68499-4\_6},
)
@article(cosim,
 author       = {Cl{\'{a}}udio Gomes and Casper Thule and David Broman and Peter Gorm Larsen and Hans Vangheluwe},
 year         = {2018},
 title        = {Co-Simulation: {A} Survey},
 journal      = {{ACM} Comput. Surv.},
 volume       = {51},
 number       = {3},
 pages        = {49:1--49:33},
 doi          = {10.1145/3179993},
)
@article(IEEE830,
 author       = {{IEEE}},
 year         = {1998},
 title        = {{IEEE} Guide for Software Requirements Specifications},
 journal      = {IEEE Std 830-1998},
)
@inproceedings(abs,
 author       = {Einar Broch Johnsen and Reiner H{\"{a}}hnle and Jan Sch{\"{a}}fer and Rudolf Schlatte and Martin Steffen},
 year         = {2010},
 title        = {{ABS:} {A} Core Language for Abstract Behavioral Specification},
 booktitle    = {{FMCO}},
 series       = {LNCS},
 volume       = {6957},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-25271-6\_8},
)
@inproceedings(KamburjanH17,
 author       = {Eduard Kamburjan and Reiner H{\"{a}}hnle},
 year         = {2017},
 title        = {Deductive Verification of Railway Operations},
 booktitle    = {RSSRail 2017},
 series       = {LNCS},
 volume       = {10598},
 publisher    = {Springer},
 pages        = {131--147},
 doi          = {10.1007/978-3-319-68499-4\_9},
)
@inproceedings(proto,
 author       = {Eduard Kamburjan and Reiner H\"ahnle},
 year         = {2018},
 title        = {Prototyping Formal System Models with Active Objects},
 booktitle    = {Interaction and Concurrency Experience},
 series       = {EPTCS},
 volume       = {279},
 publisher    = {Open Publishing Association},
 pages        = {52--67},
 doi          = {10.4204/EPTCS.279.7},
)
@article(scp,
 author       = {Eduard Kamburjan and Reiner H{\"a}hnle and Sebastian Sch{\"o}n},
 year         = {2018},
 title        = {Formal modeling and analysis of railway operations with active objects},
 journal      = {Science of Computer Programming},
 volume       = {166},
 pages        = {167 -- 193},
 doi          = {10.1016/j.scico.2018.07.001},
)
@mastersthesis(LU,
 author       = {Florian Rudolf K{\"a}mmerer},
 year         = {2017},
 title        = {{Entwicklung eines Kennzahlensystems f{\"u}r Effektivit{\"a}t des Bahnbetriebs bei Abweichungen vom Regelbetrieb}},
 school       = {Technische Universit{\"a}t Darmstadt},
)
@inproceedings(semtwin,
 author       = {E. {Kharlamov} and {Martin-Recuerda}, F. and B. {Perry} and D. {Cameron} and R. {Fjellheim} and A. {Waaler}},
 year         = {2018},
 title        = {Towards Semantically Enhanced Digital Twins},
 booktitle    = {2018 IEEE International Conference on Big Data},
 pages        = {4189--4193},
 doi          = {10.1109/BigData.2018.8622503},
)
@phdthesis(Ladenberger17,
 author       = {Lukas Ladenberger},
 year         = {2017},
 title        = {Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems},
 school       = {University of D{\"{u}}sseldorf, Germany},
)
@inproceedings(laden2,
 author       = {Lukas Ladenberger and Jens Bendisposto and Michael Leuschel},
 year         = {2009},
 title        = {Visualising Event-B Models with B-Motion Studio},
 editor       = {Mar{\'i}a Alpuente and Byron Cook and Christophe Joubert},
 booktitle    = {Formal Methods for Industrial Critical Systems},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {202--204},
 doi          = {10.1007/978-3-642-04570-7\_17},
)
@inproceedings(LutebergetCJS17,
 author       = {Bj{\o}rnar Luteberget and John J. Camilleri and Christian Johansen and Gerardo Schneider},
 year         = {2017},
 title        = {Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL},
 editor       = {Alessandro Cimatti and Marjan Sirjani},
 booktitle    = {Software Engineering and Formal Methods - 15th International Conference, {SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
 series       = {LNCS},
 volume       = {10469},
 publisher    = {Springer},
 pages        = {87--103},
 doi          = {10.1007/978-3-319-66197-1\_6},
)
@article(Mitsch,
 author       = {Stefan Mitsch and Grant Olney Passmore and Andr{\'{e}} Platzer},
 year         = {2014},
 title        = {Collaborative Verification-Driven Engineering of Hybrid Systems},
 journal      = {Mathematics in Computer Science},
 volume       = {8},
 number       = {1},
 pages        = {71--97},
 doi          = {10.1007/s11786-014-0176-y},
)
@inproceedings(tla,
 author       = {Chris Newcombe},
 year         = {2014},
 title        = {Why {Amazon} Chose {TLA}{\tmspace+\thinmuskip{.1667em}}+{\tmspace+\thinmuskip{.1667em}}},
 editor       = {Ait Ameur, Yamine and Klaus-Dieter Schewe},
 booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and Z},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {25--39},
 doi          = {10.1007/978-3-662-43652-3\_3},
)
@misc(bdd,
 author       = {Dan North},
 year         = {2006},
 title        = {Introducing {BDD}},
 note         = {Http://dannorth.net/introducing-bdd/},
)
@book(cmis,
 author       = {Antoni Oliv{\'e}},
 year         = {2007},
 title        = {Conceptual Modeling of Information Systems},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
)
@article(pachlBahn,
 author       = {Jörn Pachl},
 year         = {2018},
 title        = {{Das Ersatzsignal -- ein deutscher Sonderweg?}},
 journal      = {{Deine Bahn}},
 volume       = {3},
 note         = {{In German}},
)
@article(twin,
 author       = {Roland Rosen and Georg von Wichert and George Lo and Kurt D. Bettenhausen},
 year         = {2015},
 title        = {About The Importance of Autonomy and Digital Twins for the Future of Manufacturing},
 journal      = {IFAC-PapersOnLine},
 volume       = {48},
 number       = {3},
 pages        = {567 -- 572},
 doi          = {10.1016/j.ifacol.2015.06.141},
)
@misc(do,
 author       = {{RTCA Inc, EUROCAE}},
 year         = {2012},
 title        = {{DO-178C}},
)
@inbook(arbab,
 author       = {Rudolf Schlatte and Einar Broch Johnsen and Jacopo Mauro and {Tapia Tarifa}, Silvia Lizeth and Ingrid Chieh Yu},
 year         = {2018},
 title        = {Release the Beasts: When Formal Methods Meet Real World Data},
 pages        = {107--121},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-319-90089-6_8},
)
@article(Bilal1,
 author       = {Bilal {\"U}y{\"u}mez},
 year         = {2018},
 title        = {{Modellierung des Steuerungsprozesses der R{\"u}ckfallebenen als Grundlage f{\"u}r die Automatisierung}},
 journal      = {Eisenbahntechnische Rundschau},
 note         = {In German},
)
@inproceedings(pvs,
 author       = {Nathaniel Watson and Steve Reeves and Paolo Masci},
 year         = {2018},
 title        = {Integrating User Design and Formal Models within PVSio-Web},
 editor       = {Paolo Masci and Rosemary Monahan and Virgile Prevosto},
 booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018.},
 series       = {{EPTCS}},
 volume       = {284},
 pages        = {95--104},
 doi          = {10.4204/EPTCS.284.8},
)