Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study | IEEE Journals & Magazine | IEEE Xplore