1. Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3

   • Michael Butler
   • Thai Son Hoang
   • Klaus Reichl

   Introduction 31 March 2020 Pages: 249 - 255

   

2. The ABZ-2018 case study with Event-B

   • Jean-Raymond Abrial

   ABZ 2018 09 July 2019 Pages: 257 - 264

3. Validation of the Hybrid ERTMS/ETCS Level 3 using Spin

   • Paolo Arcaini
   • Jan Kofroň
   • Pavel Ježek

   ABZ 2018 06 November 2019 Pages: 265 - 279

   

4. Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum

   • Alcino Cunha
   • Nuno Macedo

   ABZ 2018 26 September 2019 Pages: 281 - 296

   

5. Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B

   • Dana Dghaym
   • Mohammadsadegh Dalvandi
   • Colin Snook

   ABZ 2018 Open access 12 November 2019 Pages: 297 - 313

   

6. Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

   • Dominik Hansen
   • Michael Leuschel
   • Frank Skowron

   ABZ 2018 Open access 15 February 2020 Pages: 315 - 332

   

7. A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard

   • Amel Mammar
   • Marc Frappier
   • Régine Laleau

   ABZ 2018 26 October 2019 Pages: 333 - 347

   

8. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach

   • Steve Jeffrey Tueno Fotso
   • Marc Frappier
   • Amel Mammar

   ABZ 2018 10 October 2019 Pages: 349 - 363