JACOBS, Jaco; 						SIMPSON, Andrew.
 On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study. <em>In</em>: BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES, AND REUSE (SBCARS), 8.	, 2014, Maceió/AL.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2014
.
 p. 95-104.