Gardet, R., Garnier, J., Bertho, T., Tawegoum, R., & Sintès, G. (2007). Vérification automatique de sondes de pilotage d’enceintes climatiques. NOV’AE - Ingénierie Et Savoir-Faire Innovants, (62 Cahier des techniques), 47–58. Consulté à l’adresse https://revue-novae.fr/article/view/8665