@Misc{		  grenz:c,
  author	= {Philip Grenz},
  title		= {A C Implementation of Runtime Enforcement Components},
  institution	= {TU Darmstadt},
  year		= 2020,
  howpublished	= {Bachelor's thesis, TU Darmstadt}
}