1. Institute of Mathematics and Computer Science, University of São Paulo, São Carlos, Brazil
2. Graduate Program in Informatics, Pontifícia Universidade Católica do Paraná, Curitiba, Brazil
3. School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia