J.Ch. Gilbert
INRIA Paris-Rocquencourt
Domaine de Voluceau, BP 105    
78153 Le Chesnay Cedex, France 
Phone:  (33) [0]1 39 63 55 24
Fax:    (33) [0]1 39 63 58 84
E-mail: Jean-Charles.Gilbert@inria.fr

Xavier Jonsson
Mentor Graphics
180, avenue de l'Europe
38334 Saint Ismier, France
Phone:  (33) [0]4 76 04 01 52
E-mail: Xavier_Jonsson@mentorg.com