StateCharts: A Visual Formalism for (1987)

by D Harel
Venue:Complex Systems,” Sci. Comput. Program