Aurore Collomb-Annichini: Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre. Joseph Fourier University, Grenoble, France 2001