@article{Jacobs_Simpson_SoSym_2015,
  title = "On The Formal Interpretation and Behavioural Consistency Checking of {SysML} Blocks",
  author = "J. Jacobs and A. C. Simpson",
  year = "2016",
  issn = "1619-1366",
  journal = "International Journal on Software and Systems Modeling",
}
@phdthesis{Jacobs_DPHIL2015,
  title = "A Formal Refinement Framework for the Systems Modeling Language",
  author = "J. Jacobs",
  year = "2015",
  institution = "Department of Computer Science, University of Oxford",
}
@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 = "??",
}
@inproceedings{Jacobs_Simpson_SBCARS2014,
  title = "On the Formal Interpretation of {SysML} Blocks using a Safety Critical Case Study",
  author = "J. Jacobs and A. C. Simpson",
  year = "2014",
  booktitle = "Proceedings of the 8th Brazilian Symposium on Software Components, Architectures and Reuse ({SBCARS} 2014)",
  isbn = "978-1-4799-7860-1",
  pages = "95-104",
  publisher = "IEEE",
}
@inproceedings{Jacobs_Simpson_SaFoMe2014,
  title = "On a Process Algebraic Representation of Sequence Diagrams",
  author = "J. Jacobs and A. C. Simpson",
  year = "2014",
  booktitle = "Proceedings of the 1st International Workshop on Safety and Formal Methods ({SaFoMe} 2014)",
  isbn = "978-3-319-15201-1",
  pages = "71--85",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8938",
}
@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",
}
@article{Jacobs_Simpson_ICSEM2013,
  title = "A Process Algebraic Approach to Decomposition of Communicating {SysML} Blocks",
  author = "Jacobs, J. and Simpson, A.~C.",
  year = "2013",
  journal = "International Journal of Modeling and Optimization",
  number = "2",
  pages = "153--157",
  volume = "3",
}
@inproceedings{Jacobs_Simpson_ICFEM2013,
  title = "Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in {SysML}",
  author = "Jacobs, J. and Simpson, A.~C.",
  year = "2013",
  booktitle = "Proceedings of the 15th International Conference on Formal Engineering Methods ({ICFEM 2013})",
  isbn = "978-3-642-41202-8",
  issn = "0302-9743",
  pages = "265--280",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8144",
}