Modelling and Verification of Relay Interlocking Systems. - Anne E. Haxthausen; Marie Le Bliguet; Andreas A. Kjær (Monterey Workshop, 2008)

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. - Anne E. Haxthausen; Andreas A. Kjær; Marie Le Bliguet (FM, 2011)