@inproceedings{RodriTiwariHSCC05,
  author = {E. Rodr{\'\i}guez-Carbonell and A. Tiwari},
  title = "{Generating Polynomial Invariants for Hybrid Systems}",
  booktitle = "{Hybrid Systems: Computation and Control (HSCC 2005)}",
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  volume= "3414",
  year = "2005",
  pages="590--605"
}