Joseph Sifakis, Verimag Laboratory, France