Seol mar théacs é seo: Diagnosability analysis of fault performance models and detectors /