Time Coordination of Distance Protections Using Probabilistic Fault Trees With Time Dependencies | IEEE Journals & Magazine | IEEE Xplore