The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE. - A. J. Harrison; I. D. R. Shannon (SAFECOMP, 1995)

Assessment and Certification Requirements in the European Railway Industry. - Swapan Mitra; I. D. R. Shannon (SAFECOMP, 1996)