Model-Based Diagnosis using Structured System Descriptions