Tristan Le Gall, Bertrand Jeannet, Hervé Marchand. Contrôle de systèmes symboliques, discrets ou hybrides.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2006, 35 (3), pp.293-319.
⟨10.3166/tsi.25.289-315⟩.
⟨inria-00424478⟩