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