@inproceedings{duggirala2013safety,
  title={Safety verification for linear systems},
  author={Duggirala, Parasara Sridhar and Tiwari, Ashish},
  booktitle={Embedded Software (EMSOFT), 2013 Proceedings of the International Conference on},
  pages={1--10},
  year={2013},
  organization={IEEE}
}