-\chapter{Future work}
+\chapter[chap:future]{Future work}
\section{Improved notation for hierarchical state}
The hierarchic state model requires quite some boilerplate code for unpacking
and distributing the input state and collecting and repacking the output