Introduction to Stateflow with Applications by Steven T. Karris & Steven Karris