@entry{dub-mye-sok-syr-yak-17-aa-mixsig,
  author = {V Dubikhin and C Myers and D Sokolov...},
  title = {Advances in formal methods for the design of analog/mixed-signal systems},
  journal = {2017 54th ACM ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2017,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/8060408/}}},
  quotes = {... simulation approach utilizing affine arithmetic to allow the ... Another approach using affine}
}