Modeling Reactive Systems With Statecharts : The Statemate Approach

Rating:
Summary: an excellent overview of statechart methodology
Review: Statecharts allow you to model systems without the state explosions that you encounter with regular finite state machines. Harel invented and nurtured the field, and has now come out with an excellent overview of how to make it all work.