David Harel Eran Gery Executable Object Modeling with Statecharts. 246-257 1996 ICSE http://portal.acm.org/citation.cfm?id=227726.227770 db/conf/icse/icse96.html#HarelG96