@entry{rad-gri-16-ab,
  author = {C Radojicic and C Grimm},
  title = {Instrumentation of the Control Flow of SystemC AMS-Models for Symbolic Simulation},
  journal = {ANALOG 2016; 15. ITG/GMM ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2016,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/7584293/}}},
  quotes = {... In Section 2 we give an overview of the symbolic simulation based on Extended Affine Arithmetic. ... with Extended Affine Arithmetic. The demonstration example is described in Section 5. ...}
}