Reliability Analysis Model of the Digital Reactor Protection System | IEEE Conference Publication | IEEE Xplore