@entry{bou-cha-djo-13-aa,
  author = {O Bouissou and A Chapoutot and A Djoudi},
  title = {Enclosing temporal evolution of dynamical systems using numerical methods},
  journal = {NASA Formal Methods Symposium,},
  year = 2013,
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-38088-4_8}}},
  quotes = {... To avoid this problem we use an improvement over interval arithmetic named affine arithmetic [12] ... We will denote by Aff(e) the evaluation of the expression e using affine arithmetic. ...}
}