@misc{indiciaeb04636f42d1e,
  title = {Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs},
  author = {Simon Foster and Jonathan Julián Huerta y Munive and Mario Gleirscher and Georg Struth},
  year = {2021},
  url = {https://arxiv.org/abs/2106.05987},
  note = {Source identifier: 2106.05987}
}