@inproceedings{Simpson_1994,
  title = "A Formal Specification of an {A}utomatic {T}rain {P}rotection System",
  author = "Andrew Simpson",
  year = "1994",
  booktitle = "FME '94: Industrial Benefits of Formal Methods. Proceedings of Second International Symposium of Formal Methods Europe, Barcelona,
Spain, October 1994",
  editor = "Naftalin, M. and Denvir, T. and Bertran, M.",
  pages = "602--617",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "873",
}