\vspace{\fill}
\newpage
-\section{Home automation}
+\section{Home automation}%
+\label{sec:home_automation}
This section presents an interactive home automation program (\cref{lst:example_home_automation}) to illustrate the dynamic integration of the \gls{MTASK} language and the \gls{ITASK} system.
All layers of \gls{IOT} systems are used in this application.
The presentation layer consists of an automatically generated web interface for the user to control which tasks are sent to a device for execution.