Margot Karam: Génération de test de circuits intégrés fondée sur des modèles fonctionnels. (Test generation of integrated circuits based on functional models). Grenoble Institute of Technology, France 1991