\bibitem{Cousot-ASTReNet-2007-03-21}
P.~Cousot.
\newblock Static analysis and verification of synchronous embedded code by
          abstract interpretation.
\newblock \emph{The Thirteenth ASTReNet Workshop on Formal Aspects of
          Source Code Analysis and Manipulation}, BCS-FACS, London,
          England, March 21${^\mathrm{st}}$ 2007.

@inProceedings{Cousot-ASTReNet-2007-03-21,
   author =    {P{.} Cousot},
   title =     {Static Analysis and Verification of Synchronous 
                Embedded Code by Abstract Interpretation},
   booktitle = {The Thirteenth ASTReNet Workshop on Formal Aspects of
                Source Code Analysis and Manipulation, BCS-FACS},
   address =   {London, England},
   month =     {March 21${^\mathrm{st}}$},
   year =      2007,
}