1. Institute for Software Technology, Graz University of Technology, Austria
2. Department of Mathematics and Statistics, Swarthmore College, USA
3. Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, USA
4. Computer Science Department, University of California, Irvine, USA
5. Department of Computer Science, TU Braunschweig, Germany
6. Department of Mathematics, Massachusetts Institute of Technology, USA
7. Computer Science Department, Université Libre de Bruxelles, Belgium
8. Communications and Transport Systems, ITN, Linköping University, Sweden