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