feat(dissertation): improve on checklist section in background

pub/dissertation/chapters/introduction.tex

@@ -4,7 +4,7 @@
 \section{Scene}
 \begin{itemize}
     \item Designing Emergency Checklists is difficult
-    \item Procedures in checklists must be tested in simulators~\cite{nasa-design},
+    \item Procedures in checklists must be tested in simulators~\cite{nasa:design},
       which usually means trained pilots test it, as the tests need
       to work consistently~\cite{manifesto} (making sure it's not lengthy,
       concise and gets critical procedures)
@@ -14,16 +14,16 @@
 
 \section{Motivation}
 \begin{itemize}
-  \item Testing procedures in checklists are often neglected~\cite{nasa-design}
+  \item Testing procedures in checklists are often neglected~\cite{nasa:design}
     \item There are some checklists that may not be fit
         for certain scenarios - e.g. ditching (water landing)
         checklist for US Airways Flight 1549 assumed at least one engine
-        was running~\cite{AWE1549}, but in this scenario, there were none
+        was running~\cite{ntsb:AWE1549}, but in this scenario, there were none
     \item Some checklists may make pilots \enquote{stuck}
       - not widely implemented, could be fixed with \enquote{opt out} points.
       e.g. US Airways 1549, plane below 3000ft, could have skip to
       later in the checklist to something like turn on APU, otherwise plane
-      will have limited control~\cite{AWE1549}.
+      will have limited control~\cite{ntsb:AWE1549}.
     \item Checklists may take too long to carry out - Swissair 111
 \end{itemize}