On the Use of Static Checking in the Verification of Interlocking Systems. - Anne E. Haxthausen; Peter H. Østergaard (ISoLA (2), 2016)