@entry{imm-15-aa-reach,
  author = {F Immler},
  title = {Verified reachability analysis of continuous systems},
  journal = {International Conference on Tools and Algorithms for ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2015,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_3.pdf}}},
  quotes = {... We build on our formalization of affine arithmetic and the Euler method [15]. The verification is carried out with respect to the theory of ODEs in the interactive theorem prover Isabelle/...}
}