Qiang Shen Roy Leitch Diagnosing continuous systems with qualitative dynamic models. 107-125 1995 9 AI in Engineering 2 http://dx.doi.org/10.1016/0954-1810(94)00010-3 db/journals/aei/aie9.html#ShenL95