Jacobs, J., & 		Simpson, A.
(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>, (pp. 95-104). Porto Alegre: SBC.