@inproceedings{bauer:pister:tautschnig:date07,
  title = "Tool-support for the analysis of hybrid systems and models",
  author = "Andreas Bauer and Markus Pister and Michael Tautschnig",
  year = "2007",
  address = "Nice, France",
  booktitle = "Proceedings of the 2007 Conference on Design, Automation and Test in Europe (DATE)",
  isbn = "978-3-9810801-2-4",
  month = "April",
  pages = "924--929",
  publisher = "European Design and Automation Association",
  doi = "10.1109/DATE.2007.364411",
}