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