Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems.

Bettina Buth, Mike Schrnen

Browse the full FM paper archive.