@article{PinisettyRSA+17,
  author = {Srinivas Pinisetty and Partha S.\ Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden},
  title = {Runtime Enforcement of Cyber-Physical Systems},
  journal = {ACM Transactions on Embedded Computing Systems, Special Issue for ESWEEK/EMSOFT '17},
  year = {2017},
  volume = {16},
  number = {5s},
  pages = {178:1--178:25},
  articleno = {178},
  publisher = {ACM},
  pdf = {tecs17emsoft.pdf},
}