@inproceedings{ZaunerKramerBalog,
  author    = {Zauner, Martin and Kramer, Michael and Balog, Peter},
  title     = {TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL - A CASE STUDY},
  series = {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},
  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},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{BalogKramerZauner,
  author    = {Balog, Peter and Kramer, Michael and Zauner, Martin},
  title     = {Modellierung reaktiver Systeme mit Esterel},
  series = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  booktitle = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  subject      = {Reactive Systems},
  language  = {de}
}