Editorial Wolfgang AhrendtSilvia Lizeth Tapia TarifaHeike Wehrheim Editorial 21 December 2021 Pages: 827 - 827
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics Bjørnar LutebergetChristian Johansen Original Article Open access 20 October 2021 Pages: 829 - 854
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM Simon FosterYakoub NemouchiTim Kelly Original Article Open access 08 June 2021 Pages: 855 - 884
Enhancing Probabilistic Model Checking with Ontologies Clemens DubslaffPatrick KoopmannAnni-Yasmin Turhan Original Article Open access 26 May 2021 Pages: 885 - 921
Editorial Alessandro FantechiAnne E. HaxthausenJim Woodcock Editorial 21 December 2021 Pages: 923 - 924
Efficient data validation for geographical interlocking systems Jan PeleskaNiklas KrafczykRalf Pinger Original Article Open access 10 August 2021 Pages: 925 - 955
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker Davide BasileAlessandro FantechiGianluca Mandò Original Article 29 July 2021 Pages: 957 - 987
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks Francesco FlamminiStefano MarroneValeria Vittorini Original Article Open access 24 September 2021 Pages: 989 - 1007
A refinement-based development of a distributed signalling system Paulius StankaitisAlexei IliasovAlexander Romanovsky Original Article Open access 24 November 2021 Pages: 1009 - 1036
TOrPEDO: witnessing model correctness with topological proofs Claudio MenghiAlessandro Maria RizziPaola Spoletini Original Article Open access 06 November 2021 Pages: 1039 - 1066
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management Patrick StünkelHarald KönigAdrian Rutle OriginalPaper Open access 30 July 2021 Pages: 1067 - 1114
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming Nils WeidmannAnthony Anjorin Original Article Open access 24 August 2021 Pages: 1115 - 1145
Statistical model checking for variability-intensive systems: applications to bug detection and minimization Maxime CordySami LazregAxel Legay Original Article Open access 15 December 2021 Pages: 1147 - 1172
Language Family Engineering with Product Lines of Multi-level Models Juan de LaraEsther Guerra Original Article Open access 10 August 2021 Pages: 1173 - 1208
Hybrid dynamic logic institutions for event/data-based systems Rolf HennickerAlexander KnappAlexandre Madeira Original Article Open access 29 July 2021 Pages: 1209 - 1248
A tale of two graph models: a case study in wireless sensor networks Blair ArchibaldGéza KulcsárMichele Sevegnani Original Article Open access 17 August 2021 Pages: 1249 - 1277
Foundations of programming languages Reinhard Wilhelm Book Review Open access 16 August 2021 Pages: 1279 - 1280