Nom complet Vérification et synthèse des Systèmes Cyber-Physiques Site web http://lune.bourges.univ-orleans.fr/ramdani/gtmea/ Chapitre Automatique Génie industriel