@inproceedings{markmst2007,
  author    = "Erik Markert and Göran Herrmann and Ulrich Heinkel",
  title     = "Hybride Automaten zum Systementwurf von Mikrosystemen",
  booktitle = "8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik",
  year      = "2007",
  pages     = "73-78",
  address   = "Chemnitz",
  month     = "14--15~" # nov,
  isbn      = "978-3-00-022168-2"
}