StateCharts: a visual formalism for complex systems (1987)

by D Harel
Venue:Science of Programming