On single-fault set diagnosability in the PMC model | IEEE Journals & Magazine | IEEE Xplore