J. Jacobs and A. Simpson.
" 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>, Maceió/AL, 2014, pp. 95-104.