@InProceedings{bauer:pister:tautschn:date07,
  author =	 {Andreas Bauer and Markus Pister and Michael Tautschnig},
  editor =       {Rudy Lauwereins and Jan Madsen},
  title =	 {Tool-support for the analysis of hybrid systems and models},
  booktitle =	 {Proceedings of the 2007 Conference on Design,
                  Automation and Test in Europe (DATE)},
  year =	 2007,
  month =	 Apr,
  pages =        {924--929},
  publisher =	 {ACM Press},
  address =      {New York, NY},
  isbn =         {978-3-9810801-2-4}
}