@entry{ziv-gri-18-ab,
  author = {C Zivkovic and C Grimm},
  title = {Symbolic simulation of SystemC AMS without yet another compiler},
  journal = {2018 Forum on Specification & Design ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/8524061/?casa_token=iVkN158zwh4AAAAA:AZfQgzHWxvqukTlNuV8IruQQwrqArBRdZV5bURMpXcg4ZanqZ57SBEstHosBz7ltkdhgRBhM}}},
  quotes = {... The fundamental invariant of affine arithmetic [16] states that, at any instant between affine}
}