-It integrates seamlessly in \gls{ITASK}, a \gls{TOP} system for interactive web applications.
-Hence, all layers of an \gls{IOT} system can be programmed from a single declarative specification.
-In \gls{ITASK}, abstraction are available for the gritty details of interactive web applications such as program distribution, web applications, data storage, and user management.
-The \gls{MTASK} system abstracts away of all technicalities specific to edge devices such as communication, abstractions for sensors and actuators, interrupts and (multi) task scheduling.
+It integrates seamlessly into \gls{ITASK}, a \gls{TOP} system for interactive web applications.
+In \gls{ITASK}, abstractions are available for the gritty details of interactive web applications such as program distribution, web applications, data storage, and user management.
+The \gls{MTASK} system abstracts away all technicalities specific to edge devices such as communication, abstractions for sensors and actuators, interrupts and (multi) task scheduling.
+When \gls{MTASK} is used together with \gls{ITASK}, all layers of the \gls{IOT} application are programmed from a single declarative specification (see e.g.\ \cref{sec:home_automation}).