@inproceedings{ZaunerKramerBalog2007,
  author    = {Martin Zauner and Michael Kramer and Peter Balog},
  title     = {TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL - A CASE STUDY},
  booktitle = {Proceedings of the 3nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA07), Sept. 4-7, 2007, Las Vegas, USA, DETC2007-34561},
  year      = {2007},
}