@inproceedings{RoopAvHY+09a,
  author = {Partha Roop and Sidharta Andalam and Reinhard von Hanxleden and Simon Yuan and Claus Traulsen},
  title = {Tight {WCRT} Analysis for Synchronous {C} Programs},
  booktitle = {Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '09)},
  year = {2009},
  month = {October},
  address = {Grenoble, France},
  pdf = {cases09.pdf},
}