Reasoning in qualitatively defined systems using interval-based difference equations | IEEE Journals & Magazine | IEEE Xplore