Anh, Tran. " A graphical editor for the statecharts language." VNU Journal of Science: Mathematics - Physics [Online], 21.3 (2005): n. pag. Web. 4 Apr. 2025