1. Institute for Software Technology, Graz University of Technology, Austria
2. Computer Science Department, Université libre de Bruxelles, Belgium
3. Department of Computer Science, ETH Zürich, Switzerland
4. Department of Applied Mathematics, Charles University, Czech Republic