Ramos, M. A., P. C. Masiero, R. A. Penteado, and R. T. Braga. “Extending Statecharts to Model System Interactions”. Journal of Software Engineering Research and Development, vol. 3, June 2015, pp. 12:1 - 12:25, https://sol.sbc.org.br/journals/index.php/jserd/article/view/410.