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