Springer Model-Based Fault Diagnosis Techniques