Diagnosis and Fault-Tolerant Control - Blanke (Springer Berlin Heidelberg, 2016)