Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models. - Marcus Kimura Lopes; Ricardo Bedin França; Celso Massaki Hirata; Luiz Alberto Vieira Dias (LADC, 2018)