@inproceedings{Simpson_1998,
  title = "Model Checking for Interlocking Safety",
  author = "Simpson, A.~C.",
  year = "1998",
  booktitle = "Proceedings of the 2nd {FMERail} Seminar, 15--16 October 1998, London, United Kingdom",
}