Visual Formalism, Statecharts, and Statemate. (Real-Time Systems (0-471-18406-3), 2002)