The STATEMATE Semantics of Statecharts (1996)

by D Harel, A Naamad
Venue:ACM Trans. Soft. Eng. Method