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