@entry{far-12-aa-abd-junk,
  author = {AS Farghaly},
  title = {ABD 1: Property-based verification},
  journal = {Proceeding of the 2012 Forum on Specification ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2012,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/6336976/}}},
  quotes = {... The second paper presents the use of affine arithmetic to model typical properties of mixed-signal devices and check the impact of parameter deviations on the system behavior. The ...}
}