Diagnosability analysis of fault performance models and detectors - Jung, Daniel (Linköping studies in science and technology. Dissertations ;, 2013)