M. Lopes, R. França, C. Hirata, and L. Dias.
"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>, Foz do Iguaçu, 2018, pp. 125-134.