Anfonwch hwn fel neges destun: Diagnosability analysis of fault performance models and detectors /