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