@entry{rad-gri-sch-rat-13-aa-mixsig,
  author = {C Radojicic and C Grimm and F Schupfer...},
  title = {Verification of mixed-signal systems with affine arithmetic assertions},
  journal = {VLSI Design,},
  volume = {},
  number = {},
  pages = {},
  year = 2013,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://downloads.hindawi.com/archive/2013/239064.pdf}}},
  quotes = {... Beside analog domain, Affine Arithmetic models can also be used ... Affine Arithmetic is combined with the assertion-based technology. Concretely, assertions based on Affine Arithmetic (...}
}