\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}, }