@article{goyal2020extracting,
  title={Extracting counterexamples induced by safety violation in linear hybrid systems},
  author={Goyal, Manish and Duggirala, Parasara Sridhar},
  journal={Automatica},
  volume={117},
  pages={109005},
  year={2020},
  publisher={Elsevier}
}