Génération de test fonctionnel de circuits digitaux décrits avec un langage déclaratif : Lustre. (Functional test generation of digital circuits described using the data-flow language : Lustre). - Mazen Al Mahrous (1990)