Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models | IEEE Conference Publication | IEEE Xplore