Extending statecharts to model system interactions - Ramos, Marcelo A; Masiero, Paulo Cesar; Penteado, Rosangela A. D; Braga, Rosana Teresinha Vaccare (Journal of Software Engineering Research and Development, 2015)