\bibitem{Cousot-ITI-ESA-SSVAI-2008-09-19}
P.~Cousot.
\newblock Abstract Interpretation and Application to the Static Analysis of 
          Mission-Critical Embedded Computer Software.
\newblock \emph{Final review of the ESA ITI project Space Software Validation 
          using Abstract Interpretation (SSVAI)}, Noordwijk, The Netherlands, Sep. 19${^\mathrm{th}}$, 2009.

@inProceedings{Cousot-ITI-ESA-SSVAI-2008-09-19,
   author =    {P{.} Cousot},
   title =     {Abstract Interpretation and Application to the Static Analysis 
                of Mission-Critical Embedded Computer Software},
   booktitle = {Final review of the ESA ITI project Space Software Validation 
                using Abstract Interpretation (SSVAI)},
   address =   {Noordwijk, The Netherlands},
   month =     {19 Septemberr},
   year =      {2009},
}