The statemate semantics of statecharts. (1996)

by David Harel, Amnon Naamad
Venue:ACM Transactions on Software Engineering and Methodology,