@entry{bar-gra-gra-hed-hei-pop-ste-wan-09-aa-anacir,
  author = {E Barke and D Grabowski and H Graeb...},
  title = {Formal approaches to analog circuit verification},
  journal = {... , Automation & Test ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5090759/}}},
  quotes = {... This approach (2) presents a new field entered by the application of affine arithmetic in circuit simulation [7]\uc{2013}[9]. Design aids for integrated circuits based on probabilistic affine forms ...}
}