@inproceedings{PinisettyRST+17,
  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},
  booktitle = {Proc.\ International SPIN Symposium on Model Checking of Software (SPIN '17)},
  year = {2017},
  month = {July13--14},
  address = {Santa Barbara, CA, USA},
  pdf = {spin17.pdf},
}