About the Author
Christian Artigues is a researcher at the Laboratory for Analysis and
Architecture of Systems (LAAS) of the French National Institute for
Scientific Research (CNRS).
Sophie Demassey is an Assistant Professor at the School of Mining Engineering (EMN), Nantes, France.
Emmanuel Néron is Assistant Professor at the Computer Science Department of Polytech'Tours, France, and is a member of the Computer Science Laboratory of the University of Tours, France.