@TechReport{BrockschmidtEtAl-AIB2010-15,
  author = "M.\ Brockschmidt and C.\ Otto and C.\ {von Essen} and J.\ Giesl",
  title = "Termination Graphs for \textsf{Java Bytecode}",
  institution = "RWTH Aachen",
  year = "2010",
  number = "AIB-2010-15",
  month = jul,
  url ="http://aib.informatik.rwth-aachen.de/2010/2010-15.pdf"
}