@Misc{		  dewald:timing-sensitive,
  author	= {Florian Dewald},
  title		= {Timing-Sensitive Information-Flow Analysis of AVR Assembly
		  Programs},
  institution	= {TU Darmstadt},
  year		= 2016,
  howpublished	= {Bachelor's thesis, TU Darmstadt}
}