Paolo Costa <paolo.costa@microsoft.com>
Marco Fiscato <marco.fiscato@gmail.com>
Jeff Napper <jnapper@cs.vu.nl>
Jan Sacha <jsacha@cs.vu.nl>
Ismail El Helw <ielhelw@gmail.com>

