@entry{rad-mor-pan-13-aa,
  author = {C Radojicic and J Moreno and X Pan...},
  title = {On more dependable assertion-based verification},
  journal = {IECON 2013-39th Annual ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2013,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/6700424/?casa_token=egcXG1hqDusAAAAA:3LcKIEM-9uebHmkJosoWYYBeXvtdkTgaMEkUYtVBpjSYkRjSZ3NJv2eXHwMS0-Pq4L2f_22e}}},
  quotes = {... To do so, this section introduces the language of Affine Arithmetic Assertions whose syntax will be described in detail. In order to give a more clear overview of available operators they ...}
}