On the Computational Complexity of System Diagnosis | IEEE Journals & Magazine | IEEE Xplore