Modeling for model-based diagnosis door Soest