@entry{rad-gri-jan-17-aa,
  author = {C Radojicic and C Grimm and A Jantsch...},
  title = {Towards verification of uncertain cyber-physical systems},
  journal = {arXiv preprint arXiv ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2017,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://arxiv.org/abs/1705.00519}}},
  quotes = {... Affine arithmetic has been used in this context for the static analysis of rounding errors in DSP ... Affine Arithmetic Decision Diagrams We represent hybrid uncertainties by affine arithmetic ...}
}