Mikk, E. ; Y. Lakhnech, C. Petersohn, and M. Siegel. On formal semantics of Statecharts as supported by statemate. In 2nd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, July 1997.

Languages mentioned

• STATEMATE {1998}