@misc{indiciae601d26bdee73,
  title = {Abstraction of Elementary Hybrid Systems by Variable Transformation},
  author = {Jiang Liu and Naijun Zhan and Hengjun Zhao and Liang Zou},
  year = {2015},
  url = {https://arxiv.org/abs/1403.7022},
  note = {Source identifier: 1403.7022}
}