Executable Object Modeling with Statecharts.

David Harel, Eran Gery

Browse the full ICSE paper archive.