@inproceedings{WW2000,
               author = {W. Lange, W. Rosenstiel},
               title = {Synthesis of ATM Switch Controller Modules with the Protocol CompilerTM from SynopsysTM},
               booktitle = {WSI-00-6},
               year = {2000},
               address = {Wilhelm-Schickard-Institut, Universität Tübingen}
}