Ramos MA, Masiero PC, Penteado RA, Braga RT. Extending statecharts to model system interactions. JSERD [Internet]. 2015Jun.28 [cited 2024Apr.26];3:12:1 - 12:25. Available from: https://sol.sbc.org.br/journals/index.php/jserd/article/view/410