@entry{sch-rad-wen-11-aa,
  author = {F Schupfer and C Radojicic and J Wenninger...},
  title = {System refinement design flow based on semi-symbolic simulations},
  journal = {IEEE Africon'11,},
  volume = {},
  number = {},
  pages = {},
  year = 2011,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/6072111/?casa_token=YiXi-_82H5QAAAAA:RlhkaZvl2Y4XaozoBqqlKFGz7pVFIyKLoP6coByebmSwMeBBc4CF7VTQEhIsWZjMG33Ba9HC}}},
  quotes = {... Affine Arithmetic [11] is used to describe and compute the system model and to simulate the system behavior. Affine Arithmetic ... Affine Arithmetic is a methodology to define ranges as ...}
}