A generic and symbolic model-based diagnostic reasoner with highly scalable properties.