Contact Information Email: Joseph.Sifakis@imag.fr Web Site: http://www-verimag.imag.fr/~sifakis/ Phone: +33 (0)4.57.42.22.44 Fax: +33 (0)4.57.42.22.22 Surface mail: Verimag Laboratory Bâtiment IMAG 700, avenue centrale 38401 Saint Martin d’Hères FRANCE