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