@misc{PinisettyRST+16,
  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},
  howpublished = {Presentation performed at the 23th International Open Workshop on Synchronous Programming (SYNCHRON '16), Bamberg, Germany},
  month = {December},
  year = {2016},
}