Introduction to Stateflow with Applications - Karris, Steven T. (Orchard Publications, 2007)