@inproceedings{TiedjeT08,
  author = {Malte Tiedje and Claus Traulsen},
  title = {Designing a Reactive Processor with {Esterel}~v7},
  booktitle = {Proceedings of the Workshop on Model-Driven High-Level Programming of Embedded Systems (SLA++P '08)},
  year = {2008},
  address = {Budapest, Hungary},
  month = {April},
  pdf = {sla++p08.pdf},
  urltalk = {sla++p08-talk.pdf},
}