@inproceedings{02,
               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)},
               month = {02},
}