P7-4.3.2/D2, Apr 2015 - IEEE Approved Draft Standard Criteria for Programmable Digital Devices in Safety Systems of Nuclear Power Generating Stations | IEEE Standard | IEEE Xplore