Modeling for model-based diagnosis by Soest