Ramos, M. A., Masiero, P. C., Penteado, R. A., & Braga, R. T. (2015). Extending statecharts to model system interactions. Journal of Software Engineering Research and Development, 3, 12:1 – 12:25. Retrieved from https://sol.sbc.org.br/journals/index.php/jserd/article/view/410