A Formal Specification of an Automatic Train Protection System (Proceedings of the 2nd International Symposium of Formal Methods Europe (FME 1994), 1994)

(untitled) - Simpson, A