Gardet, Rémi, Jérémie Garnier, Thomas Bertho, Rousseau Tawegoum, et Gérard Sintès. 2007. « 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):47-58. https://revue-novae.fr/article/view/8665.