@entry{bou-cha-djo-13-aa-runge,
  author = {O Bouissou and A Chapoutot and A Djoudi},
  title = {Enclosing temporal evolution of dynamical systems using numerical methods},
  journal = {NASA Formal Methods Symposium,},
  volume = {},
  number = {},
  pages = {},
  year = 2013,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  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. ...}
}