IEEE Standard Criteria for Programmable Digital Devices in Safety Systems of Nuclear Power Generating StationsIEEE ...