Model-Based Fault Diagnosis Techniques - Ding (Springer London, 2013)