Gerald Lüttgen Michael von der Beeck Rance Cleaveland A compositional approach to statecharts semantics. 120-129 2000 SIGSOFT FSE http://portal.acm.org/citation.cfm?id=355045.355062 db/conf/sigsoft/fse2000.html#LuttgenBC00