Lopes, Marcus, 		França, Ricardo, 		Hirata, Celso, E 		Dias, Luiz.
" Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models" <em>Anais do Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (8 outubro 2018)