@inproceedings{022011,
               author = {Stefan Lämmermann, Erik Markert, Axel Braun, Jürgen Ruf, Thomas Kropf und Wolfgang Rosenstiel},
               title = {Eigenschaftsbasierte Verifikation von MEMS},
               booktitle = {Cyber-Physical Systems – Enabling Multi-Nature Systems 2011 (CPMNS'11)},
               year = {2011},
               month = {02},
               address = {Bremen, Germany}
}