feat(dissertation): add formal section and split up safety into subsections

pub/dissertation/chapters/background.tex

@@ -1,6 +1,8 @@
 \documentclass[../dissertation.tex]{subfiles}
 
 \begin{document}
+
+%%%%% HYPOTHESIS %%%%%
 \section{Hypothesis}
 \begin{itemize}
     \item Checklists can be tested in a simulated environment 
@@ -14,15 +16,38 @@
 \end{itemize}
 
 
-\section{Safety}
+%%%%% SAFETY %%%%%
+\section{Safety in Aviation}
+\subsection{History}
+% TODO write about:
+% - Safety became more of a concern when more passengers and more planes in the sky
+% - Safety procedures being added
+% - Rates of accidents
 \begin{itemize}
   \item 70-80\% of aviation accidents are attributed to human factors~\cite{faa-reasons}
+\end{itemize}
+
+\subsection{Checklists}
+\begin{itemize}
   \item Checklists have been shown to aid in minimising human errors~\cite{manifesto}
   \item However, checklists can be misleading and compromise the safety of the aircraft
     due to them being either too confusing or taking too long to complete~\cite{nasa-design}
   \item That is why testing checklists are important to avoid these situations
 \end{itemize}
 
+
+%%%%% FORMAL METHODS %%%%%
+\section{Formal Methods}
+% TODO add quick overview of what Formal Methods are
+% Potential resource: https://shemesh.larc.nasa.gov/fm/fm-what.html
+
+\subsection{History}
+
+
+\subsection{Application}
+
+
+%%%%% SOLUTION STACK %%%%%
 \section{Solution Stack}
 \begin{itemize}
   \item There would be around 3 main components to this tester