Jacobs, J., & 		Simpson, A.
2014 set 28.  On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). [Online] :