@MastersThesis{	  timoschneider:2010,
  author	= {Timo Schneider},
  month		= {May},
  school	= {TU Darmstadt},
  title		= {Model Checking von Informationsflusseigenschaften},
  type		= {Master Thesis},
  year		= 2010
}