Statecharts: A visual formalism for complex systems. (1987)

by D Harel
Venue:Science of Computer Programming,