@inproceedings{MJW102010,
               author = {M. Müller, J. Gerlach, W. Rosenstiel},
               title = {RTOS-Aware Modeling of Embedded Hardware/Software Systems},
               booktitle = {28th IEEE International Conference on Computer Design (ICCD)},
               year = {2010},
               month = {10},
}