@inproceedings{WW2000,
               author = {W. Lange, W. Rosenstiel},
               title = {Modeling and Synthesis of Data Transmission Control Logic Using the Protocol CompilerTM},
               booktitle = {Forum on Design Languages (FDL)},
               year = {2000},
}