1. Qualitative-numeric simulation with Q3;Berleant,1992
2. Diagnostic reasoning based on structure and behavior;Davis;Artificial Intelligence,1984
3. Diagnostic et Reconnaissances de Formes;Dubuisson,1990
4. Model-based monitoring of dynamic systems;Dvorak,1989
5. Qualitative process theory;Forbus;Artificial Intelligence,1984