Text this: Visual Formalism, Statecharts, and Statemate.