@InProceedings{Podelski:HSCC06-507,
  author =       "Andreas Podelski and Silke Wagner",
  title =        "Model Checking of Hybrid Systems: {From} Reachability
                 Towards Stability",
  year =         "2006",
  pages =        "507--521",
  ee =           "http://dx.doi.org/10.1007/11730637_38",
  editor =       "Jo{\~a}o P. Hespanha and Ashish Tiwari",
  booktitle =    "Hybrid Systems: Computation and Control, 9th
                 International Workshop, {HSCC} 2006, Santa Barbara,
                 {CA}, {USA}, March 29--31, 2006, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3927",
  ISBN =         "3-540-33170-0",
}