Dynamic reliability modeling of digital instrumentation and control systems for nuclear reactor probabilistic risk assessments / - Aldemir, Tunc. (U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research,, 2007)