Jacobs, J., & 		Simpson, A.
(2014).
 On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study.
In <em>Proceedings of the 8th Brazilian Symposium on Software Components, Architectures, and Reuse</em>, (pp. 95-104). Porto Alegre: SBC.