Jacobs, Jaco, AND 		Simpson, Andrew.
" On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study" <em>Proceedings of the Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS)</em> [Online], (28 September 2014)