Qualitative Simulation: A Feedback Control System. - Angel Syang; Yichiang Syang (SAC, 1993)