Modeling Reactive Systems with Statecharts: The Statemate Approach

Harel, David; Politi, Michal