@inproceedings{MA:05, author = {Gabor Madl and Sherif Abdelwahed}, title = {{Model-based Analysis of Distributed Real-time Embedded System Composition}}, booktitle = {{Proceedings of EMSOFT}}, year = {2005}, month = {September}, pages = {371--374} }