Qualitative Multi-faults Diagnosis based on Automated Planning - I: Theory and Modelling