In previous assignments our group has viewed the SUT as a stateful input-output
system.
-\subsection{Behaviour of the SUT}\label{subsec:behaviour}
+\subsection{Behaviour of the SUT} \label{subsec:behaviour}
When considering the behaviour of the SUT we abstract away from some details to
limit the scope of the project. We will only consider the behaviour as the
sequence of input output flags. All other details required will be implemented