The Statemate Semantics of Statecharts (1996)

by D Harel, A Naamad
Venue:In ACM transactions on software engineering and methodology, Vol 5 No 4