Gardet, Rémi, et al. « Vérification Automatique De Sondes De Pilotage d’enceintes Climatiques ». NOV’AE - Ingénierie Et Savoir-Faire Innovants, nᵒ 62 Cahier des techniques, décembre 2007, p. 47-58, https://revue-novae.fr/article/view/8665.