@misc{indiciae160b63b9f468,
  title = {Controller synthesis for bisimulation equivalence},
  author = {Paulo Tabuada},
  year = {2007},
  url = {https://arxiv.org/abs/0706.0929},
  note = {Source identifier: 0706.0929}
}