Redundant Relay Protection Devices for Power Systems Reliability Model | IEEE Conference Publication | IEEE Xplore