@Article{,
  author = 	 {Stefan Ratschan and Zhikun She},
  title = 	 {Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement},
  journal = {ACM Transactions in Embedded Computing Systems},
  volume = {6},
  number = {1},
  year =   {2007}
}