[controls/ctrl-statem]
\section{State machines}