@TechReport{mra-tr,
  author = {Jay Ligatti and Srikar Reddy},
  title = {A Theory of Runtime Enforcement, with Results},
  institution = {University of South Florida},
  year = {2009},
  number = {USF-CSE-SS-102809},
  month = oct,
  url = {http://www.cse.usf.edu/~ligatti/papers/mra-tr.pdf}
}