@inproceedings{BalogKramerZauner2007,
  author    = {Peter Balog and Michael Kramer and Martin Zauner},
  title     = {Modellierung reaktiver Systeme mit Esterel},
  booktitle = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  year      = {2007},
}