@entry{del-gou-put-sou-tek-ved-09-aa-fluct,
  author = {D Delmas and E Goubault and S Putot and J Souyris...},
  title = {Towards an industrial use of FLUCTUAT on safety-critical avionics software},
  journal = {... Workshop on Formal ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-04570-7_6}}},
  quotes = {... in real numbers based on generalized affine arithmetic. In: Riis Nielson, H., Fil{\'e}, G. (eds.) ... Perturbed affine arithmetic for invariant computation in numerical program analysis. CoRR, abs/...}
}