Michael Kaufmann, University of Tübingen, Germany Monique Teillaud, INRIA Nancy - Grand Est, LORIA, France