@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 ...} }