@inproceedings{DFG+8,
title = {Outils pour l'analyse des mod\`eles hybrides },
author = {Dang, Thao and Frehse, Goran and Girard, Antoine and Le Guernic, Colas},
year = {2008},
booktitle = {Approches formelles des syst\`emes embarqu\'e communicants},
pages = {245--268},
publisher = {Hermes Lavoisier},
series = {Trait\'e IC2, s\'erie Informatique et syst\`emes d'information},
team = {axe_Mohytos, TEMPO},
}