On parallel algorithms for single-fault diagnosis in fault propagation graph systems | IEEE Journals & Magazine | IEEE Xplore