@entry{rad-pur-15-aa,
  author = {C Radojicic and T Purusothaman...},
  title = {Towards formal validation: Symbolic simulation of SystemC models},
  journal = {2015 10th International ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2015,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/7127376/?casa_token=NoTAXW0N40wAAAAA:hdq3DLtPRiYsjsgmuIDIXWaz-XflZfYekfuB1teY1QigbV2KlJtAxaU4g1DfmkUsBxWCylMo}}},
  quotes = {... XAAF implements control- and data flow operations of C++ on (Extended) Affine Arithmetic Forms. Its basic form is mostly identical to the general form of uncertainties from the previous ...}
}