Françoise Simonot-Lion, ye-Qiong Song, Bernard Berthomieu, François Vernadat. Vérification des applications temps réel. Jacky Akoka, Isabelle Comyn-Wattiau.
Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005.
⟨inria-00000560⟩