Fault Propagation Reasoning and Diagnosis for Computer Networks Using Cyclic Temporal Constraint Network Model | IEEE Journals & Magazine | IEEE Xplore