Introduction

The cookbook section gathers recipes to solve commonly recurring problems when modelling user interfaces with state machines. Contributions are welcome and should include the following sections:

• Motivation: this section explains why the recipe is useful. This could include a description of the issues addressed by the recipe, or a description of the benefits of the recipe.
• Recipe: this sections contains the solution or steps to follow to remedy the issues or enjoy the benefits introduced in the motivation section for recipe