@techreport{vonHanxledenMT08,
  author = {Reinhard von Hanxleden and Michael Mendler and Claus Traulsen},
  title = {{WCRT} Algebra and Scheduling Interfaces for {E}sterel-style Synchronous Multi-threading},
  type = {Technical Report},
  number = {0807},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
  year = {2008},
  month = {June},
  pdf = {report-0807.pdf},
}