% To show hboxes even when in non-draft mode
%\overfullrule=1pt
-\showboxdepth=\maxdimen%
-\showboxbreadth=\maxdimen%
+%\showboxdepth=\maxdimen%
+%\showboxbreadth=\maxdimen%
% \showboxdepth=5
% \showboxbreadth=5
\setlength{\overfullrule}{20pt}
\subfile{dsl/class} % Deep embedding with class
\subfile{dsl/first} % First-class data types
-\part[\hspace{-9pt}Orchestrating the Internet of Things using Task-Oriented Programming]{\\[2ex]\smaller{}Orchestrating the Internet of Things using Task-Oriented Programming}%
+\part[\hspace{-8.28992pt}Orchestrating the Internet of Things using Task-Oriented Programming]{\\[2ex]\smaller{}Orchestrating the Internet of Things using Task-Oriented Programming}%
\label{prt:top}
\subfile{top/4iot} % TOP for the IoT
\subfile{top/lang} % mTask DSL
-\subfile{top/int} % Integration with iTask
\subfile{top/imp} % Implementation
+\subfile{top/int} % Integration with iTask
\subfile{top/green} % Green computing
\subfile{top/finale} % Conclusion