Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/05/01 Vol. E86-ANo. 5pp. 1008-1018 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: system-level diagnosis, PMC model, adaptive diagnosis, t-diagnosable system, butterfly network,