Modeling Reactive Systems with Statecharts: The Statemate Approach

David Harel; Michal Politi