Antoine Girard : Modèles symboliques de systèmes dynamiques - un pas vers la conception de systèmes embarqués sûrs