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: