@entry{cox-san-cha-12-aa,
  author = {A Cox and S Sankaranarayanan and BYE Chang},
  title = {A bit too precise? Bounded verification of quantized digital filters},
  journal = {... on Tools and Algorithms for the ...,},
  year = 2012,
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-28756-5_4}}},
  quotes = {... We perform an error analysis to show that such an overapproximation can be addressed using affine arithmetic simulations [6] or BMC using linear real arithmetic constraints (Section 4)...}
}