@incollection{Simpson_1994,
  title = "A Formal Specification of an {A}utomatic {T}rain {P}rotection System",
  author = "Simpson, A.~C.",
  year = "1994",
  booktitle = "Proceedings of the 2nd International Symposium of Formal Methods Europe ({FME 1994})",
  editor = "Naftalin, M. and Denvir, T. and Bertran, M.",
  pages = "602--617",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "873",
}