intro: Problem statement en introductie uitwijden
emtsk: semantics, anders noemen en voorbeelden geven in strategies
emtsk: Voorbeeldje voor namedsds
emtsk: examples, factorial vervangen
devcs: iets met taken en argumenten zeggen
devcs: waarom kunnen taken geen andere taken starten
devcs: duidelijker zijn dat je echt geen heap nodig hebt
iTaks: duidelijker maken wat "managing devices" betekend
dvspc: Uitleggen hoe device spec gemaakt word
hbexm: Voorbeeld met de heartbeat sensor
hbexm: Instructies van de heartbeat sensor verkleinen
concl: Uitleggen hoe/of de probleemstelling opgelost is