Introduction to Stateflow