@entry{bou-con-cou-cou-09-aa,
  author = {O Bouissou and E Conquet and P Cousot and R Cousot...},
  title = {Space software validation using abstract interpretation},
  journal = {The International Space ...,},
  year = 2009,
  url = {{\url{https://hal.inria.fr/inria-00528590/}}},
  quotes = {This paper reports the results of an ESA funded project on the use of abstract interpretation to validate critical real-time embedded space software. Abstract interpretation is industrially ...}
}