Hierarchical model-based diagnosis based on structural abstraction