Jacobs, Jaco, E 		Simpson, Andrew.
" On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study" <em>Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)</em> [Online], (28 setembro 2014)