The Arduino based Otto DIY can easily be controlled with state machines using YAKINDU Statechart Tools.