@entry{bar-gra-gra-09-aa,
  author = {E Barke and D Grabowski and H Graeb...},
  title = {Formal approaches to analog circuit verification},
  journal = {... , Automation & Test ...,},
  year = 2009,
  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 ...}
}