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