@inproceedings{OW1999,
               author = {O. Bringmann, W. Rosenstiel},
               title = {Hierarchische Synthese für die Emulation von integrierten Steuerungssystemen},
               booktitle = {Informatik '99 - 29. Jahrestagung der Gesellschaft für Informatik, Informatik aktuell},
               publisher = {Springer Verlag},
               year = {1999},
}