@inproceedings{duggirala2011abstraction,
  title={Abstraction refinement for stability},
  author={Duggirala, Parasara Sridhar and Mitra, Sayan},
  booktitle={Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on},
  pages={22--31},
  year={2011},
  organization={IEEE}
}