Jacobs, Jaco, and Andrew Simpson.
" On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study." <em>Anais do VIII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software,
Maceió/AL, 2014</em>. SBC, 2014,  
pp.95-104.