1. Laboratoire Leibniz, Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG), CNRS UMR 5522, 46 Avenue Félix Viallet, 38031 Grenoble Cedex, France
2. BRICS, Department of Computer Science, University of Aarhus, Building 540, Ny Munkegade, Aarhus C-8000, Denmark