Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. - Per Lange Laursen; Van Anh Thi Trinh; Anne E. Haxthausen (ISoLA (3), 2020)