\section{\gls{Task} Scheduling Strategy}
\input{mtaskext.taskstrat}
-\section{\gls{SDS} Strategy}
-\input{mtaskext.sdsstrat}
+\section{\gls{SDS} Properties}
+\input{mtaskext.sdsprop}
\section{Bytecode Compilation View}\label{sec:compiler}
\input{mtaskext.bytecode}