\section{State of the Art and Limits of Current Practice}

\subsection{Current Reactor Procedures and Operation}
%How are operating procedures made and why do they exist

%what are different kinds of operating procedures

%NUREG 0899

%how are procedures tested

%Automation already is used for emergency systems

\subsection{Human Factors in Nuclear Accidents}

%Whos in the control room

%how are reactor operators trained

% Humans are actually really bad at doing control

%most accidents are human error

%Three mile island

%Human factors probabilities

\subsection{HARDENS and Formal Methods}
% The NRC recognizes that automation and high assurance are important things to
% pursue

%They put out a grant to do rigorous digital engineering

%Won by formal methods group galois. Galois does a bunch of formal methods work.
%What is formal methods?

%Rigorous digital engineering to create a reactor trip system

%details of how it worked, and limitations therein

%Digital system ONLY