\bibitem{Cousot-MIT-Workshop-B-09-08-05}
P.~Cousot.
\newblock Automatic Verification of Embedded Control Software with  
          ASTR{\'E}E.
\newblock MIT Workshop on Critical Research Areas in Aerospace Software, 
          August 9, 2005.

@conference{Cousot-MIT-Workshop-B-09-08-05,
   author = {Patrick Cousot},
   title =  {Automatic Verification of Embedded Control Software with 
             ASTR{\'E}E},
   note =   {MIT Workshop on Critical Research Areas in Aerospace Software},
   month =  {9 August},
   year =   2005,
}