1. CISUC & CRACS/INESC TEC, and Department of Computer Science, University of Porto, Coimbra, Portugal
2. Department of Computer Science, University of Porto, Porto, Portugal
3. CISUC & Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal