\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

%Whos in the control room

%how are reactor operators trained

%how are procedures tested

%Automation already is used for emergency systems

\subsection{Human Factors in Nuclear Accidents}


\subsection{HARDENS and Formal Methods}