Qualitative reasoning about approximations in quantitative modeling | IEEE Journals & Magazine | IEEE Xplore