@techreport{RoopAvHY+09,
  author = {Partha Roop and Sidharta Andalam and Reinhard von Hanxleden and Simon Yuan and Claus Traulsen},
  title = {Tight {WCRT} Analysis for Synchronous {C} Programs},
  type = {Technical Report},
  number = {0912},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science, Kiel, Germany},
  year = {2009},
  month = {May},
  pdf = {report-0912.pdf},
}