@article{LivH10,
  author = {Xin Li and Reinhard von Hanxleden},
  title = {Multi-Threaded Reactive Programming---The {Kiel Esterel Processor}},
  journal = {IEEE Transactions on Computers},
  year = {2012},
  volume = {61},
  number = {3},
  pages = {337--349},
  pdf = {tc10.pdf},
  month = {March},
}