Push-button control of an Arduino using a state chart and code generation.