@entry{gou-mul-put-kie-14-aa,
  author = {E Goubault and O Mullier and S Putot and M Kieffer},
  title = {Inner approximated reachability analysis},
  journal = {Proceedings of the 17th ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2014,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/2562059.2562113?casa_token=sdkIz7NIHYwAAAAA:hOuel0WVptiLOidxtiQNiHg6stIfPYTXrc11YZbLBtgr_pQIE8RLpDpdY3bKqZ6YddBFijGmcE8}}},
  quotes = {... We can now use our outer approximation methods using affine arithmetic to get an inner ... real numbers based on generalized affine arithmetic. In SAS, pages 137\uc{2013}152, 2007. [18] E. ...}
}