[1] School of Computing, National University of Singapore (NUS), Singapore
[2] Saarland University, Germany
[3] University of Warwick, United Kingdom
[4] Max Planck Institute for Software Systems, Saarbrücken, Germany
[5] QMATH, University of Copenhagen, Denmark