\bibitem{Cousot-ISOLA07} P.~Cousot. \newblock Avionic Software Verification by Abstract Interpretation. \newblock \emph{2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation. Special Workshop Theme: Formal Methods in Avionics, Space and Transport}, Poitiers, France, December 12--14 2007. @inProceedings{Cousot-ISOLA07, author = {P{.} Cousot}, title = {Avionic Software Verification by Abstract Interpretation}, booktitle = {2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation. Special Workshop Theme: Formal Methods in Avionics, Space and Transport}, address = {Poitiers, France}, month = {December 12--14}, year = 2007, }