Model-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Tools - Ding, Steven X. (Springer Berlin Heidelberg, 2008)