Statecharts: A visual formalism for complex systems (1987)

by David Harel
Venue:In: Science of Computer Programming 8