@inproceedings{zutshi2016symbolic,
  title={Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software},
  author={Zutshi, Aditya and Sankaranarayanan, Sriram and Deshmukh, Jyotirmoy V and Jin, Xiaoqing},
  booktitle={Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
  pages={135--144},
  year={2016},
  organization={ACM}
}