Hybrid Automated Diagnosis of Discrete/Continuous Systems