1. Department of Computer Science, CICESE Research Center, Ensenada, Mexico
2. Department of Computer Science, Faculty of Science, Technology and Medicine, University of Luxembourg, Esch-sur-Alzette, Luxembourg
3. Department of Computer Science, Faculty of Science, Technology and Medicine, and SnT, University of Luxembourg, Esch-sur-Alzette, Luxembourg
4. Institute of Mathematics and Statistics, University of São Paulo, São Paulo, Brazil