The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE.

A. J. Harrison, I. D. R. Shannon

Browse the full SAFECOMP paper archive.