@inproceedings{ProchnowTvH06,
  author = {Steffen Prochnow and Claus Traulsen and Reinhard von Hanxleden},
  title = {Synthesizing {Safe State Machines} from {Esterel}},
  booktitle = {Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES '06)},
  address = {Ottawa, Canada},
  month = {June},
  year = {2006},
  pdf = {lctes06-spr.pdf},
  urltalk = {lctes06-spr-talk.pdf},
}