On formal semantics of statecharts as supported by statemate (1997)

by Erich Mikk, Yassine Lakhnech, Carsta Petersohn, Michael Siegel