@inproceedings{W2003,
               author = {W. Rosenstiel},
               title = {Modelling, Verification, and Synthesis with SystemC - Principles and Examples},
               booktitle = {Medea and Design Automation Conference},
               year = {2003},
}