I wonder what happened with Harel's Statecharts - not about class modeling, but another graphical description.