R. Castelló, R. Mili, and I. Tollis, “A Framework for the Static and Interactive Visualization of Statecharts”, JGAA, vol. 6, no. 3, pp. 313–351, Jan. 2002.