\bibitem{Cousot-CMACS-2009-11-01}
P.~Cousot.
\newblock Challenges in control/command software analysis.
\newblock \emph{CMACS Kickoff Meeting}, Carnegie Mellon, Pittsburgh, PA, USA.
          November 1${^\mathrm{st}}$, 2009.

@inProceedings{Cousot-CMACS-2009-11-01,
   author =    {P{.} Cousot},
   title =     {Challenges in control/command software analysis},
   booktitle = {CMACS Kickoff Meeting},
   address =   {Carnegie Mellon, Pittsburgh, PA, USA},
   month =     {1 November},
   year =      {2009},
}