Castelló R, Mili R, Tollis I. A Framework for the Static and Interactive Visualization of Statecharts. JGAA [Internet]. 2002 Jan. 1 [cited 2025 Dec. 7];6(3):313-51. Available from: https://jgaa-v5.cs.brown.edu/index.php/jgaa/article/view/paper56