@article{prabhakar2015hybrid,
  title={Hybrid automata-based cegar for rectangular hybrid systems},
  author={Prabhakar, Pavithra and Duggirala, Parasara Sridhar and Mitra, Sayan and Viswanathan, Mahesh},
  journal={Formal Methods in System Design},
  volume={46},
  number={2},
  pages={105--134},
  year={2015},
  publisher={Springer US}
}