Gardet, R.; Garnier, J.; Bertho, T.; Tawegoum, R.; Sintès, G. Vérification Automatique De Sondes De Pilotage d’enceintes Climatiques. NOV’AE 2007, 47-58.