rename faulty files and elaborate in the system chapter
[msc-thesis1617.git] / mtask.tex
index 12bf498..938d9d4 100644 (file)
--- a/mtask.tex
+++ b/mtask.tex
@@ -1,5 +1,4 @@
-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}%