@inproceedings{duggirala2015analyzing,
  title={Analyzing real time linear control systems using software verification},
  author={Duggirala, Parasara Sridhar and Viswanathan, Mahesh},
  booktitle={Real-Time Systems Symposium, 2015 IEEE},
  pages={216--226},
  year={2015},
  organization={IEEE}
}