@incollection{Simpson_1995b,
  title = "The Application of Formal Methods to the Development of an {A}{T}{P} ({A}utomatic {T}rain {P}rotection) System",
  author = "Simpson, A.~C.",
  year = "1995",
  booktitle = "Proceedings of the 1995 IEE Colloquium on Communication Networks in Transportation",
  publisher = "IEE",
}