@entry{rec-kor-gun-olb-20-aa-reach,
  author = {M Rechmal-Lesse and GA Koroa...},
  title = {Automatically Generated Nonlinear Analog Circuit Models Enclosing Variations with Intervals and Affine Forms for Reachability Analysis},
  journal = {... on Design and ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2020,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/9095655/?casa_token=Z4dF2plWCQ0AAAAA:CNfQ0t38wVz3frE_12lyJ92jXWmbEaP88bzhwI0wEAvLPb15KKgMFuSuAUlnpOqhbJ3-Rit9}}},
  quotes = {... This paper is structured as follows: First we describe the necessary background on reachability analysis, interval arithmetic and affine arithmetic in Sec. II. Then we present the ...}
}