@entry{imm-15-aa,
  author = {F Immler},
  title = {Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems.},
  journal = {ARCH@ CPSWeek,},
  volume = {},
  number = {},
  pages = {},
  year = 2015,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://easychair.org/publications/download/nVRl}}},
  quotes = {... approximations of transcendental functions) and affine arithmetic, including verified algorithms for ... in the sense that respective operations in eg affine arithmetic always enclose the \uc{201c}real\uc{201d} ...}
}