Examples of Mealy and Moor State Machines in Simulink Stateflow