LOPES, Marcus; 						FRANÇA, Ricardo; 						HIRATA, Celso; 						DIAS, Luiz.
 Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. <em>In</em>: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 8.	, 2018, Foz do Iguaçu.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 125-134.