@entry{aue-alb-kec-lut-11-aa-stance,
  author = {E Auer and H Albassam and A Kecskem{\'e}thy...},
  title = {Verified analysis of a model for stance stabilization},
  journal = {Modeling, Design, and ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2011,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-15956-5_14}}},
  quotes = {... Interval [19], Taylor model [17] or affine arithmetic [6] based methods are most prominent examples of verified techniques. Besides proving the correctness of the computed result, ...}
}