Visualising Railway Safety Verification - Filippos Pantekis (Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science., 2020)