@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",
}