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