A Qualitative Modeling Shell for Process Diagnosis. - Timothy F. Thompson; William J. Clancey (IEEE Softw., 1986)