M. A. Ramos, P. C. Masiero, R. A. Penteado, and R. T. Braga, “Extending statecharts to model system interactions”, JSERD, vol. 3, pp. 12:1 – 12:25, Jun. 2015.