1. Final Policy Statement;U.S. Nuclear Regulatory Commission;Federal Register,1995
2. Guideline for performing defense-in-depth and diversity assessments for digital I&C upgrades—applying risk-informed and deterministic methods. 1002835. Palo Alto, CA: EPRI; 2004.
3. Aldemir T, Miller DW, Stovsky M, Kirschenbaum J, Bucci P, Fentiman AW, et al. Current state of reliability modeling methodologies for digital systems and their acceptance criteria for nuclear power plant assessments. Nureg/Cr-6901. Washington, DC: U. S. Nuclear Regulatory Commission; 2006.
4. Shields EJ, Apostolakis G, Guarro SB. Determining the prime implicants for multi-state embedded systems. In: Apostolakis G, Wu JS, editors. Proceedings of PSAM-II. San Diego, CA: International Association for Probabilistic Assessment and Management; 1994. p. 7–12.
5. Development of tools for safety analysis of control software in advanced reactors. Nureg/Cr-6465;Guarro,1996