@entry{rad-sch-rat-gri-12-aa-assert,
  author = {C Radojicic and F Schupfer and M Rathmair...},
  title = {Assertion-based verification of signal processing systems with affine arithmetic},
  journal = {Proceeding of the ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2012,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/6336978/?casa_token=qQmgMWgOL2EAAAAA:AJ6CGohu9Ol0RbzbYY4WC7LzBz57xZUm3uYhL4-9cF_sLtt8ZxAsYRBg7T5r2fJ0MjKHGV0c}}},
  quotes = {... This approach is based on the concept of Affine Arithmetic [4]. ... Within this work Affine Arithmetic will also be used to describe ... These assertions are based on Affine Arithmetic in order to ...}
}