Model Synthesis for model-based fault analysis. Fifteenth International Workshop on the Principles of Diagnosis, DX04