David Harel Eran Gery Executable Object Modeling with Statecharts. 31-42 1997 30 IEEE Computer 7 db/journals/computer/computer30.html#HarelG97