Jacobs, Jaco, and Andrew Simpson.
" On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study." <em>Proceedings of the 8th Brazilian Symposium on Software Components, Architectures, and Reuse,
Maceió/AL, 2014</em>. SBC, 2014,  
pp.95-104.