@Article{KGD:2010,
  author        = {Ulrich K\"uhne and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Towards Fully Automatic Synthesis of Embedded Software},
  journal       = {IEEE Embedded Systems Letters},
  year={2010},
  month=Sep,
  volume={2},
  number={3},
  pages={53--57}
}