Executable Object Modeling With Statecharts (1997)

by David Harel, Eran Gery
Venue:IEEE Computer