@inproceedings{DBLP:conf/emsoft/Schrammel15,
  title = "Unbounded-time reachability analysis of hybrid systems by abstract acceleration",
  author = "Peter Schrammel",
  year = "2015",
  booktitle = "Embedded Software, {EMSOFT} 2015",
  pages = "51--54",
  publisher = "{IEEE}",
  url = "http://dx.doi.org/10.1109/EMSOFT.2015.7318259",
}