A toolset for applying model-based reasoning techniques to diagnostics for power systems protection | IEEE Journals & Magazine | IEEE Xplore