Philippe Georgelin: Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique. (Formal verification of synchronous digital designs, based on symbolic simulation). Joseph Fourier University, Grenoble, France 2001