@entry{del-gou-put-sou-09-aa,
  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 ...,},
  year = 2009,
  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/...}
}