Executable Object Modeling with Statecharts (1997)

by D Harel, E Gery
Venue:In IEEE Computer