Using Formal Methods for Verification and Validation in Railway. - Klaus Reichl; Tomas Fischer; Peter Tummeltshammer (TAP@STAF, 2016)

Formal Modelling Techniques for Efficient Development of Railway Control Products. - Michael J. Butler; Dana Dghaym; Tomas Fischer; Thai Son Hoang; Klaus Reichl; Colin F. Snook; Peter Tummeltshammer (RSSRail, 2017)

The Hybrid ERTMS/ETCS Level 3 Case Study. - Thai Son Hoang; Michael J. Butler; Klaus Reichl (ABZ, 2018)

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. - Michael J. Butler; Thai Son Hoang; Alexander Raschke; Klaus Reichl (Int. J. Softw. Tools Technol. Transf., 2020)