Peter Struss, Andreas Malik: Automated Diagnosis of Car-Subsystems Based on Qualitative Models. XPS 1997: 157-166