Coffee machine
Benchmark models
Source publication: [SHM11]
A simple example of a Mealy machine that models a coffee machine, used as running example in [SHM11]:
