@MastersThesis{	  gebhardt:monitoring,
  author	= {Alexander Gebhardt},
  title		= {Monitoring C Programs by Finite State Machines},
  school	= {TU Darmstadt},
  type		= {Master Thesis},
  year		= 2012
}