@entry{ziv-gri-18-aa,
  author = {C Zivkovic and C Grimm},
  title = {Verification of Analog/Mixed-Signal Systems with AADD},
  journal = {ANALOG 2018; 16th GMM/ITG ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/8576835/}}},
  quotes = {... 3.3 Affine arithmetic decision diagrams While affine arithmetic allows us to model real-valued ... In the following, we informally describe the idea of affine arithmetic decision diagrams (...}
}