Lopes, Marcus, Ricardo França, Celso Hirata, and Luiz Dias.
"Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models." <em>Anais do VIII Latin-American Symposium on Dependable Computing,
Foz do Iguaçu, 2018</em>. SBC, 2018,  
pp.125-134.