1. Department of Applied Mathematics and Computer Science, Technical University of Denmark , Lyngby , Denmark
2. Institute of Computing, University of Campinas , Campinas , Brazil
3. DIGIT and Department of Computer Science, Aarhus University , Aarhus , Denmark
4. DIGIT and Department of Electrical and Computer Engineering, Aarhus University , Aarhus , Denmark