@inproceedings{SJRJTW032007,
               author = {S. Lämmermann, J. Behrend, R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen},
               booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               year = {2007},
               month = {03},
               pages = {29-38},
               address = {Erlangen, Germany}
}