@Inbook{rssr16,
  author="de Ruiter, Joeri and Thomas, Richard J. and Chothia, Tom",
  editor="Lecomte, Thierry and Pinger, Ralf and Romanovsky, Alexander",
  title="A Formal Security Analysis of ERTMS Train to Trackside Protocols",
  bookTitle="Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings",
  year="2016",
  publisher="Springer International Publishing",
  pages="53--68",
  isbn="978-3-319-33951-1",
  doi="10.1007/978-3-319-33951-1_4",
}