Printer controller
Benchmark models
A Mealy machine model based on the RRRT-model as described in [SMVJ15].
