@inproceedings{Simpson_1995a,
  title = "Railway Signalling as a case study in Safety through Determinism",
  author = "A. C. Simpson",
  year = "1995",
  booktitle = "Proceedings of Aspect '95",
  publisher = "IRSE",
}