@entry{men-roc-sen-12-aa,
  author = {D Menard and R Rocher and O Sentieys...},
  title = {Design of fixed-point embedded systems (defis) french anr project},
  journal = {Proceedings of the ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2012,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/6385408/}}},
  quotes = {... For dynamic range evaluation, classical techniques, based on interval arithmetic or affine}
}