Computerized Fault Diagnostics in a Nuclear Reactor via Analytic Redundancy | IEEE Conference Publication | IEEE Xplore