@MastersThesis{	  gruner:formale,
  author	= {Sylvia Gr\"uner},
  title		= {Formale Spezifikation von Sicherheitsanforderungen mit
		  MAKS in Isabelle/HOL},
  school	= {TU Darmstadt},
  type		= {Bachelor Thesis},
  year		= 2010
}