P7-4.3.2_D3, Jan 2010 - IEEE Draft Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations | IEEE Standard | IEEE Xplore