Biometric passport
Benchmark models
Learning examples
From the register model we derived some Mealy machine models by flattening which are listed in ExtraMealy.