A.: “STATEMATE Semantics of Statecharts (1996)

by D Harel, Naamad
Venue:ACM Trans. Softw. Eng. Methodol