Microprocessor-based fault-tolerant reactor control and information system | IEEE Journals & Magazine | IEEE Xplore