@article{,
  author = 	 {Werner Damm and Guilherme Pinto and Stefan Ratschan},
  title = 	 {Guaranteed Termination in the Verification of {LTL} Properties of Non-linear Robust Discrete Time Hybrid Systems},
  journal =      {International Journal of Foundations of Computer Science (IJFCS)},
  volume =       {18},
  number =       {1},
  pages =        {63--86},
  year =         {2007}
}