@misc{indiciae1d414f2d33fa,
  title = {Runtime enforcement of reactive systems using synchronous enforcers},
  author = {Srinivas Pinisetty and Partha S Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden},
  year = {2016},
  url = {https://arxiv.org/abs/1612.05030},
  note = {Source identifier: 1612.05030}
}