Mealy model