@article{PinisettyRST+16a,
  author = {Srinivas Pinisetty and Partha Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden},
  title = {{Runtime enforcement of reactive systems using synchronous enforcers}},
  journal = {ArXiv e-prints},
  archiveprefix = {arXiv},
  eprint = {1612.05030},
  primaryclass = {cs.FL},
  year = {2016},
  month = {December},
  url = {http://adsabs.harvard.edu/abs/2016arXiv161205030P},
}