577-2012 - IEEE Standard Requirements for Reliability Analysis in the Design and Operation of Safety Systems for Nuclear Power Generating Stations - Redline | IEEE Standard | IEEE Xplore