@inproceedings{SRJTW072006,
               author = {S. Lämmermann, R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Automatic Generation of Verification Properties for SoC Design from SysML-Diagrams},
               booktitle = {3rd Inernational UML for SoC Design Workshop at DAC'06 (UML-SoC)},
               year = {2006},
               month = {07},
               pages = {29-34},
               address = {San Francisco, USA}
}