-There are at least 13.4 billion devices connected to the internet at the time of writing\footnote{\url{https://transformainsights.com/research/tam/market}, accessed on: \formatdate{13}{10}{2022}}.
-Each of these senses, acts, or otherwise interacts with people, other computers, and the environment surrounding us.
-Despite their immense diversity, they are all computers.
-And as computers, they require software to operate.
-
-An increasing amount of these connected devices are so-called \emph{edge devices} that operate in the \gls{IOT}.
-Edge devices are the leafs of the \gls{IOT} systems, they perform the interaction with the physical world.
-Typically, these edge devices are powered by microcontrollers.
-These miniature computers contain integrated circuits that accomodates a microprocessor designed for use in embedded applications.
-Typically, microcontrollers are therefore tiny; have little memory; contain a slow, but energy-efficient processor; and allow for a lot of connectivity for integrating peripherals such as sensors and actuators in order to interact with their surroundings.
-
-Unlike the conductor in the orchestra waving their baton to instruct the ensemble of instruments, in the universe of software there is room for little error.
-In the traditional setting, an \gls{IOT} engineer has to program each device and their interoperation using different programming paradigms, programming languages, and abstraction levels.
-Thus resulting in semantic friction, making programming and maintaining \gls{IOT} systems is a complex and error-prone process.
-
-This thesis describes the research carried out around orchestrating these complex \gls{IOT} systems using \gls{TOP}.
+\todo[inline]{Brackets upright in listings?}
+This dissertation is about orchestrating \gls{IOT} systems harmlessly and efficiently.
+\todo{beter?}
+There are at least 13.4 billion devices connected to the internet at the time of writing \citep{transforma_insights_current_2023}.
+Each of these devices sense, act, or otherwise, interact with people, computers, and the environment.
+Despite their immense diversity, they are all computers and they all require software to operate.
+
+An increasing number of these connected devices are so-called edge devices that operate in the \gls{IOT}.
+Edge devices are the leaves of the \gls{IOT} systems.
+They perform the interaction with the physical world.
+It is not uncommon for edge devices to be physically embedded in the fabric itself.
+Typically, they reside in hard-to-reach places such as light bulbs, clothing, smart electricity meters, buildings, or even farm animals.
+The majority of edge devices are powered by microcontrollers.
+Microcontrollers are equipped with a lot of connectivity for integrating peripherals such as sensors and actuators.
+The connectivity makes them very suitable to interact with their surroundings.
+These miniature computers contain integrated circuits that accommodate a microprocessor designed for use in embedded applications.
+As a consequence, microcontrollers are cheap; tiny; have little memory; and contain a slow, but energy-efficient processor.
+
+When coordinating an orchestra of edge devices, there is room for little error.
+Edge devices come and go, perform their own pieces, or are sometimes instructed to perform a certain piece, they might even operate without a central authority.
+In a traditional setting, an \gls{IOT} engineer has to program each device and their interoperation using different programming paradigms, programming languages, and abstraction levels.
+This results in semantic friction, which makes programming and maintaining \gls{IOT} systems a complex and error-prone process.
+
+This dissertation describes the research carried out around orchestrating these complex \gls{IOT} systems using \gls{TOP}.