@MastersThesis{	  rothamel:formalisation,
  author	= {Lucas Rothamel},
  title		= {Formalisation of Android Inter-Application Communication},
  type		= {Bachelor Thesis},
  school	= {TU Darmstadt},
  year		= 2012
}