Comprendre le fonctionnement d’un système automatisé grâce à l’utilisation d’un langage formel spécifique