\bibitem{Cousot-Journees-RNTL-ASTREE04}
P{.} Cousot, R{.} Cousot \& F{.} Randimbivololona.
\newblock {Pr\'esentation du projet ASTR\'EE} : {A}nalyse {S}tatique de logiciels {T}emps {R\'E}el 
                {E}mbarqu\'es.
\newblock \emph{Séminaire RNTL Thème 1}, Bercy, Paris, France, 
          1 June 2004.

@unpublished{Cousot-Journees-RNTL-ASTREE04,
   author =    {P{.} Cousot and R{.} Cousot and F{.} Randimbivololona},
   title =     {{ASTR\'EE} : {A}nalyse {S}tatique de logiciels {T}emps {R\'E}el 
                {E}mbarqu\'es},
   address =   {\emph{Séminaire RNTL Thème 1}, Bercy, Paris, France},
   month =     {1 June},
   year =      2004,
}