[1
]College of Computing, Georgia Institute of Technology, Atlanta, GA, USA
[2
]Clermont Université, Institut Pascal, Clermont-Ferrand, 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