The STATEMATE semantics of statecharts (1996)

by D Harel, A Naamad
Venue:ACM transactions on software engineering and methodology