Ingolf Krüger Radu Grosu Peter Scholz Manfred Broy From MSCs to Statecharts. 61-72 1998 conf/ifip10-3/1998dipes DIPES db/conf/ifip10-3/dipes1998.html#KrugerGSB98