@entry{dam-wal-06-aa-soc,
  author = {M Damm and K Waldschmidt},
  title = {Robustness in soc design},
  journal = {... on Digital System Design (DSD'06),},
  volume = {},
  number = {},
  pages = {},
  year = 2006,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/1690017/?casa_token=zMHs57tK6NYAAAAA:exXZKWicIhWURZX5DOluCL59nz1dobCe8TYtp4b6K4TbEEkf1EnFhANzPfqIJPm3ioo8NxBS}}},
  quotes = {... Affine arithmetic and semi-symbolic simulation seems very promising for the approach [6, 18]. The affine expressions contain a central value and additional terms that formally describe ...}
}