@misc{indiciae96cb4365a1db,
  title = {Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions},
  author = {Christoffer Sloth and Rafael Wisniewski},
  year = {2010},
  url = {https://arxiv.org/abs/1008.3222},
  note = {Source identifier: 1008.3222}
}