@techreport{Simpson_1999,
  title = "Towards the mechanical verification of moving block signalling systems",
  author = "Simpson, A.~C.",
  year = "1999",
  institution = "School of Computing and Mathematical Sciences, Oxford Brookes University",
  number = "CMS-TR-99-06",
}