Model-Based Fault Diagnosis Techniques