1. Dipartimento di Informatica, Università di Torino, Torino, Italy
2. Department of Informatics, University of Oslo, PO Box 1080, 0316, Blindern, Oslo, Norway
3. Institute for Software Engineering, Technische Universität Braunschweig, Brunswick, Germany