Formal Verification of Railway Timetables - Using the UPPAAL Model Checker. - Anne E. Haxthausen; Kristian Hede (From Software Engineering to Formal Methods and Tools, and Back, 2019)