@inproceedings{prosmst2007,
  author    = "Uwe Proß and A. Richter and Ulrich Heinkel",
  title     = "Plattform zur formalisierten Spezifikationserfassung",
  booktitle = "8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik \& Mikroelektronik",
  year      = "2007",
  pages     = "152-153",
  address   = "Chemnitz",
  month     = "14--15~" # nov,
  isbn      = "978-3-00-022168-2"
}