How Secure Is ERTMS? - Richard Bloomfield; Robin E. Bloomfield; Ilir Gashi; Robert J. Stroud (SAFECOMP Workshops, 2012)