-The \gls{mTask}-\gls{EDSL} is the language used for the proposed system. The
-\gls{mTask}-\gls{EDSL} was created by Koopman et al.\ and supports several
+The \gls{mTask}-\gls{EDSL} was created by Koopman et al.\ and supports several
views such as an \gls{iTasks} simulation and a \gls{C}-code generator. The
\gls{EDSL} was designed to generate a ready-to-compile \gls{TOP}-like program
for microcontrollers such as the \gls{Arduino}~\cite{koopman_type-safe_nodate}%
\section{Control flow}
\input{mtask.control}
-\section{Input/Output and class extensions}
+\section{Input/Output and Class Extensions}
\input{mtask.io}
\section{Semantics}