The STATEMATE Semantics of Statecharts (1996)

by D Harel, A Naamad
Venue:ACM Transactions on Software Engineering Methodoly