@MastersThesis{	  frantzen:runtime,
  author	= {Sebastian Frantzen},
  title		= {Runtime Monitoring and Enforcement Mechanism in the
		  Floodlight SDN Controller},
  school	= {TU Darmstadt},
  type		= {Master Thesis},
  year		= 2018
}