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