@inproceedings{duggirala2016parsimonious,
  title={Parsimonious, Simulation Based Verification of Linear Systems},
  author={Duggirala, Parasara Sridhar and Viswanathan, Mahesh},
  booktitle={International Conference on Computer Aided Verification},
  pages={477--494},
  year={2016},
  organization={Springer International Publishing}
}