@InCollection{Knapp:RWCETA07,
  author =       "Steffen Knapp and Wolfgang Paul",
  title =        "Realistic Worst Case Execution Time Analysis in the
                 Context of Pervasive System Verification",
  booktitle =    "Program Analysis and Compilation, Theory and Practice:
                 {Essays} Dedicated to {Reinhard} {Wilhelm} on the
                 Occasion of His 60th Birthday",
  editor =       "Thomas Reps and Mooly Sagiv and J{\"o}rg Bauer",
  year =         "2007",
  pages =        "53--81",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4444",
  ee =           "http://dx.doi.org/10.1007/978-3-540-71322-7_3",
  URL =          "http://www.verisoft.de/.rsrc/PublikationSeite/KP06.pdf",
}