Diagnostic reasoning with fault propagation digraph and sequential testing | IEEE Journals & Magazine | IEEE Xplore