@misc{indiciae0a95a99f3ebd,
  title = {Computing abstractions of nonlinear systems},
  author = {Gunther Reißig},
  year = {2011},
  doi = {10.1109/tac.2011.2118950},
  url = {https://arxiv.org/abs/0910.2187},
  note = {Source identifier: 0910.2187}
}