EPRI activities on commercial grade dedication of digital computers used in safety systems in nuclear power facilities | IEEE Conference Publication | IEEE Xplore