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)

Behaviour-Driven Formal Model Development. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler; Tomas Fischer; Rupert Schlick; Keming Wang (ICFEM, 2018)

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. - Michael J. Butler; Dana Dghaym; Thai Son Hoang; Tope Omitola; Colin F. Snook; Andreas Fellner; Rupert Schlick; Thorsten Tarrach; Tomas Fischer; Peter Tummeltshammer (ICECCS, 2019)

Formal Model Validation Through Acceptance Tests. - Tomas Fischer; Dana Dghaym (RSSRail, 2019)