@entry{gri-rad-15-aa,
  author = {C Grimm and C Radojicic},
  title = {Verification and validation of AMS systems: Towards coverage of uncertainties},
  journal = {2015 IEEE 20th International Mixed ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2015,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/7177882/}}},
  quotes = {... In [48] the run-time complexity of symbolic/abstract simulation with Affine Arithmetic is analyzed. It is shown that memory complexity is k + 2, and an overhead in run-time compared with ...}
}