@article{meyer2018nahs,
  title={Compositional abstraction refinement for control synthesis},
  author={Meyer, Pierre-Jean and Dimarogonas, Dimos V.},
  journal={Nonlinear Analysis: Hybrid Systems},
  volume={27},
  pages={437--451},
  year={2018},
  publisher={Elsevier}
}