@entry{ziv-gri-20-aa,
  author = {C Zivkovic and C Grimm},
  title = {AADD-Based Symbolic Simulation of SystemC AMS},
  journal = {Languages, Design Methods, and Tools for ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2020,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-030-31585-6_8}}},
  quotes = {... This property is analog to the fundamental invariant of affine arithmetic. ... As consequence of the fundamental invariant of affine arithmetic, it holds that there is a single assignment of ...}
}