\bibitem{CousotCousot-EMSOFT01} P{.} Cousot and R{.} Cousot. \newblock Verification of Embedded Software: Problems and Perspectives, invited paper. \newblock In Proc. \emph{First International Workshop on Embedded Software, EMSOFT 2001}, T.A{.} Henzinger and C.M{.} Kirsch (Eds.). Lecture Notes in Computer Science, Vol{.} 2211, pages 97--113. Springer, 2001. @incollection{CousotCousot-EMSOFT01, author = {Cousot, P{.} and Cousot, R{.}}, title = {Verification of Embedded Software: Problems and Perspectives, invited paper}, booktitle = {Proc. \emph{First Int.\ Workshop on Embedded Software, EMSOFT 2001}}, editor = {Henzinger, T.A{.} and Kirsch, C.M{.}}, year = {2001}, series = {Lecture Notes in Computer Science}, volume = 2211, pages = {97--113}, publisher = {Springer}, }