@inproceedings{Jacobs_Simpson_FTSCS_2014,
  title = "A Formal Model of {SysML} Blocks using {CSP} for Assured Systems Engineering",
  author = "Jacobs, J. and Simpson, A.~C.",
  year = "2015",
  booktitle = "Proceedings of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems ({FTSCS 2014})",
  isbn = "??",
  issn = "1865-0929",
  pages = "??-??",
  series = "Communications in Computer and Information Science",
  volume = "??",
}