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