Return to Article Details Model-Based Diagnosis using Structured System Descriptions Download Download PDF