@techreport{LivH05,
  author = {Xin Li and Reinhard von Hanxleden},
  title = {{KEP2 (Kiel Esterel Processor 2): The {E}sterel Processor}},
  type = {Technical Report},
  number = {0506},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
  year = {2005},
  month = {April},
  pdf = {report-0506.pdf},
}