Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems.

Anne E. Haxthausen, Andreas A. Kjr, Marie Le Bliguet

Browse the full FM paper archive.