Gardet, R. et al. 2007. Vérification automatique de sondes de pilotage d’enceintes climatiques. NOV’AE - Ingénierie et savoir-faire innovants. 62 Cahier des techniques (déc. 2007), 47–58.