@entry{pan-sar-rad-10-aa,
  author = {Y Pang and O Sarbishei and K Radecka...},
  title = {Challenges in verifying and optimizing fixed-point arithmetic-intensive designs},
  journal = {2010 IEEE International ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5520840/?casa_token=myZSYRyhiyQAAAAA:rG20OevbvkNjSfB7PP4BCE9q-XXU7Kif_W7ET_yMdWeVqiMsqdEwZkGVxlwuqSLWNcyOGLQ8}}},
  quotes = {... The affine arithmetic model (AA) is a derivation of IA, in which the quantities of interest are represented as linear combinations (affine forms) of certain primitive variables standing for ...}
}