1. Mathematical Institute, University of Kaiserslautern, Germany
2. CISUC, Department of Informatics Engineering, University of Coimbra, Portugal
3. Mathematical Institute, University of Koblenz-Landau, Campus Koblenz, Germany
4. CEG-IST, Instituto Superior Técnico, Universidade de Lisboa, Portugal