2003 (t,k)-diagnosable system: a generalization of the PMCmodels IEEE Trans. Computers Volume 52,7,971-975 Number Export BibTeX RIS