@article{meyer2018tac,
  title={Compositional abstraction and safety synthesis using overlapping symbolic models},
  author={Meyer, Pierre-Jean and Girard, Antoine and Witrant, Emmanuel},
  journal={IEEE Transactions on Automatic Control},
  volume={63},
  number={6},
  pages={1835--1841},
  year={2018},
  publisher={IEEE}
}