1. College of Computing, Georgia Institute of Technology, Atlanta, GA, USA
2. Clermont Université, Institut Pascal, Clermont-Ferrand, France
3. CNRS, Aubiere, France
4. Departamento de Informática e Ingeniería de Sistemas, Instituto de Investigación en Ingeniería de Aragón, Universidad de Zaragoza, Zaragoza, Spain
5. Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy