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