Orchard Publications www.orchardpublications.com Introduction to Stateflow® with Applications Steven T. Karris