Michael von der Beeck A Concise Compositionalj Statecharts Semantics Definition. 335-350 2000 conf/forte/2000 FORTE db/conf/forte/forte2000.html#Beeck00