@entry{ziv-gri-olb-sch-bar-19-aa-analog,
  author = {C Zivkovic and C Grimm and M Olbrich...},
  title = {Hierarchical verification of AMS systems with affine arithmetic decision diagrams},
  journal = {IEEE Transactions on ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/8428606/?casa_token=n6QIlkmRn3gAAAAA:ch-yM3za_P7xsGHLaSGTovOw-g9YYU-vlqxGU7wvz1Ps6yCsrY8pQ6vdwRXFKlGxdTxQVS-v}}},
  quotes = {... To transport verification results across hierarchies, we represent parameters and properties by affine arithmetic decision diagrams. We study to which extent this approach fulfills the ...}
}