@article{BaGS08,
  key         ={BaGS08},
  author      ={K. Bauer and R. Gentilini and K. Schneider},
  title       ={Approximated Reachability on Hybrid Automata: Falsification meets Certification},
  journal     ={Electronic Notes in Theoretical Computer Science (ENTCS)},
  month       ={December},
  volume      ={223},
  number      ={},
  pages       ={47-60},
  year        ={2008},
  note        ={Proceedings of the Workshop on Reachability Problems in Computational Models},
  remark      ={rsg}
}