Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.

Werner Damm Jochen Klose Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. 121-141 2001 19 Formal Methods in System Design 2 db/journals/fmsd/fmsd19.html#DammK01