A Matrix-Calculation-Based Algorithm for Numerical Change Propagation Analysis | IEEE Journals & Magazine | IEEE Xplore