\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