Modeling Reactive Systems with Statecharts (1998)

by D Harel, M Politi