7-4.3.2-2016 - IEEE Standard Criteria for Programmable Digital Devices in Safety Systems of Nuclear Power Generating Stations | IEEE Standard | IEEE Xplore