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