@entry{sch-kae-gri-olb-12-aa,
  author = {F Schupfer and M K{\"a}rgel and C Grimm and M Olbrich...},
  title = {Towards abstract analysis techniques for range based system simulations},
  journal = {System Specification and ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2012,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-1-4614-1427-8_7}}},
  quotes = {... Affine Arithmetic labels the ranges by symbols which allows the instant backtracking of the system response contributions to their sources. Although the most published work ...}
}