@MastersThesis{	  metzler:tool:2013,
  author	= {Patrick Metzler},
  school	= {TU Darmstadt},
  title		= {Tool Support for Step-Wise Analysis and Mitigation of
		  Timing Channels in Java},
  type		= {Bachelor Thesis},
  year		= 2013
}