Lopes, M., 		França, R., 		Hirata, C., & 		Dias, L.
(2018).
Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models.
In <em>Anais do VIII Latin-American Symposium on Dependable Computing</em>, (pp. 125-134). Porto Alegre: SBC.