@misc{indiciaeee9556137615,
  title = {Safety-Guarantee Controller Synthesis for Cyber-Physical Systems},
  author = {Pritam Roy and Paulo Tabuada and Rupak Majumdar},
  year = {2010},
  url = {https://arxiv.org/abs/1010.5665},
  note = {Source identifier: 1010.5665}
}