@inproceedings{MJW032008,
               author = {M. Müller, J. Gerlach, W. Rosenstiel},
               title = {Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität},
               booktitle = {11. GI/ITG/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
               year = {2008},
               month = {03},
               address = {Freiburg}
}