Modeling and analyzing complex reactive systems - The Statemate approach

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  David Harel,et al.  On visual formalisms , 1988, CACM.