@MastersThesis{	  tasch:towards,
  author	= {Markus Tasch},
  title		= {Towards Guaranteeing Information Flow Properties by
		  Architectural Design},
  school	= {TU Darmstadt},
  type		= {Master Thesis},
  year		= 2015
}