Bibliographic reference:
\bibitem{BertraneEtAl10-UML-FM}
J.~Bertrane, P.~ Cousot, R.~ Cousot, J.~ Feret, L.~ Mauborgne, A.~ Min\'e, and X.~ Rival.
\newblock Static Analysis by Abstract Interpretation of Embedded Critical Software.
\newblock In \emph{ACM SIGSOFT Software Engineering Notes} 36(1): 1-8 (2011).
@InProceedings{BertraneEtAl-SEN-2011,
author = {J.~Bertrane and P.~ Cousot and R.~ Cousot and J.~ Feret and L.~ Mauborgne
and A.~ Min\'e and X.~ Rival},
title = {Static Analysis by Abstract Interpretation of Embedded Critical Software},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {36},
number = {1},
month = jan,
year = {2011},
pages = {1--8},
doi = {http://doi.acm.org/10.1145/1921532.1921553},
}
}