@InProceedings{bauer:kuester:vegliach:NFM12,
  author =	 {Andreas Bauer and Jan-Christoph K\"uster},
  editor =       {Alwyn Goodloe and Suzette Person},
  title =	 {Runtime Verification meets {A}ndroid Security},
  booktitle =	 {Proceedings of the 4th NASA Formal Methods Symposium (NFM)},
  year =	 2012,
  series =	 {Lecture Notes in Computer Science},
  volume =	 XXXX,
  pages =        {XXX--XXX},
  month =	 Apr,
  publisher =	 {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  isbn =         {}
}