\begin{thebibliography}{10}

\bibitem{DOE-HDBK-1028-2009}
{U.S. Department of Energy}.
\newblock Human performance handbook.
\newblock Handbook DOE-HDBK-1028-2009, U.S. Department of Energy, 2009.

\bibitem{WNA2020}
{World Nuclear Association}.
\newblock Safety of nuclear power reactors.
\newblock \url{https://www.world-nuclear.org/information-library/safety-and-security/safety-of-plants/safety-of-nuclear-power-reactors.aspx}, 2020.

\bibitem{Wang2025}
Y.~Wang et~al.
\newblock Analysis of human error in nuclear power plant operations: A systematic review of events from 2007--2020.
\newblock {\em Journal of Nuclear Safety}, 2025.
\newblock Analysis of 190 events at Chinese nuclear power plants.

\bibitem{10CFR55}
{U.S. Nuclear Regulatory Commission}.
\newblock Operators' licenses.
\newblock 10 CFR Part 55.
\newblock Code of Federal Regulations.

\bibitem{Kemeny1979}
John~G. Kemeny et~al.
\newblock Report of the president's commission on the accident at three mile island.
\newblock Technical report, President's Commission on the Accident at Three Mile Island, October 1979.

\bibitem{NUREG-0899}
{U.S. Nuclear Regulatory Commission}.
\newblock Guidelines for the preparation of emergency operating procedures.
\newblock Technical Report NUREG-0899, U.S. Nuclear Regulatory Commission, 1982.

\bibitem{IAEA-TECDOC-1580}
{International Atomic Energy Agency}.
\newblock Good practices for cost effective maintenance of nuclear power plants.
\newblock Technical Report TECDOC-1580, International Atomic Energy Agency, 2007.

\bibitem{Zerovnik2023}
Gašper \v{Z}erovnik et~al.
\newblock Knowledge transfer challenges in nuclear operations.
\newblock {\em Nuclear Engineering and Design}, 2023.
\newblock Analysis of knowledge transfer from experienced operators.

\bibitem{Jo2021}
Y.~Jo et~al.
\newblock Automation paradox in nuclear power plant control: Effects on operator situation awareness.
\newblock {\em Nuclear Engineering and Technology}, 2021.
\newblock Empirical study of automation effects on operator performance.

\bibitem{IAEA2008}
{International Atomic Energy Agency}.
\newblock Modern instrumentation and control for nuclear power plants: A guidebook.
\newblock Technical Report Technical Reports Series No. 387, International Atomic Energy Agency, 2008.

\bibitem{Lee2019}
D.~Lee et~al.
\newblock Autonomous control of nuclear reactors using long short-term memory networks.
\newblock {\em Nuclear Engineering and Technology}, 2019.
\newblock Demonstration of LSTM-based autonomous control in LOC and SGTR scenarios.

\bibitem{IEEE2019}
{IEEE Working Group}.
\newblock Formal verification challenges for nuclear i\&c systems.
\newblock In {\em IEEE Conference on Nuclear Power Instrumentation, Control and Human-Machine Interface Technologies}, 2019.
\newblock Discussion of state space explosion in formal verification.

\bibitem{IAEA-severe-accidents}
{International Atomic Energy Agency}.
\newblock Human error as root cause in severe nuclear accidents.
\newblock IAEA Safety Report.
\newblock Analysis of TMI, Chernobyl, and Fukushima accidents.

\bibitem{Dumas1999}
Lloyd Dumas.
\newblock Worker error and safety in nuclear facilities.
\newblock {\em Journal of Nuclear Safety}, 1999.
\newblock Study of incidents at 10 nuclear centers.

\bibitem{NUREG-CR-6883}
D.~Gertman et~al.
\newblock The spar-h human reliability analysis method.
\newblock Technical Report NUREG/CR-6883, U.S. Nuclear Regulatory Commission, 2005.

\bibitem{NUREG-2114}
{U.S. Nuclear Regulatory Commission}.
\newblock Cognitive basis for human reliability analysis.
\newblock Technical Report NUREG-2114, U.S. Nuclear Regulatory Commission, 2016.

\bibitem{Rasmussen1983}
J.~Rasmussen.
\newblock Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models.
\newblock {\em IEEE Transactions on Systems, Man, and Cybernetics}, SMC-13(3):257--266, 1983.

\bibitem{Miller1956}
George~A. Miller.
\newblock The magical number seven, plus or minus two: Some limits on our capacity for processing information.
\newblock {\em Psychological Review}, 63(2):81--97, 1956.

\bibitem{Reason1990}
James Reason.
\newblock {\em Human Error}.
\newblock Cambridge University Press, 1990.

\bibitem{Kiniry2022}
Joseph Kiniry, Alexander Bakst, Michal Podhradsky, Simon Hansen, and Andrew Bivin.
\newblock High assurance rigorous digital engineering for nuclear safety (hardens) final technical report.
\newblock Technical Report ML22326A307, Galois, Inc. / U.S. Nuclear Regulatory Commission, 2022.
\newblock NRC Contract 31310021C0014.

\bibitem{eia_lcoe_2022}
{U.S. Energy Information Administration}.
\newblock Levelized costs of new generation resources in the annual energy outlook 2022.
\newblock Report, U.S. Energy Information Administration, March 2022.
\newblock See Table 1b, page 9.

\bibitem{eesi_datacenter_2024}
{Environmental and Energy Study Institute}.
\newblock Data center energy needs are upending power grids and threatening the climate.
\newblock Web article, 2024.
\newblock Accessed: 2025-09-29.

\end{thebibliography}
