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