Harel, D. and A. Naamad. The Statemate Semantics of Statecharts. In ACM transactions on software engineering and methodology, Vol 5 No 4 , 1996

Languages mentioned

• STATEMATE {1998}