@inproceedings{Simpson_Jacobs_FTSCS2013,
  title = "On the Cloud-enabled Refinement Checking of Railway Signalling Interlockings",
  author = "Simpson, A.~C. and Jacobs, J.",
  year = "2014",
  booktitle = "Proceedings of the 2nd International Workshop on Formal Techniques for Safety-Critical Systems ({FTSCS 2013})",
  isbn = "978-3-319-05415-5",
  issn = "1865-0929",
  pages = "195--211",
  series = "Communications in Computer and Information Science",
  volume = "419",
}