C
[CM08] Franck Cassez et Nicolas Markey. Contrôle des systèmes temporisés. In Olivier H. Roux et Claude Jard (eds.), Approches formelles des systèmes embarqués communicants. Hermès, octobre 2008. 
@incollection{afsec2008-CM,
  author =              {Cassez, Franck and Markey, Nicolas},
  title =               {Contr{\^o}le des syst{\`e}mes temporis{\'e}s},
  editor =              {Roux, Olivier H. and Jard, Claude},
  booktitle =           {Approches formelles des syst{\`e}mes embarqu{\'e}s
                         communicants},
  publisher =           {Herm{\`e}s},
  pages =               {105-144},
  chapter =             {4},
  year =                {2008},
  month =               oct,
  url =                 {http://e.lavoisier.fr/produit/9782746243156},
}
Liste des auteurs