1. Institute of Informatics, Federal University of Rio Grande do Sul - UFRGS, Brazil
2. Instituto Superior Técnico, University of Lisbon, Portugal and Institute of Informatics, Federal University of Rio Grande do Sul - UFRGS, Brazil
3. Technological Development Center, Federal University of Pelotas - UFPel, Brazil