Qualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures