Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems | IEEE Conference Publication | IEEE Xplore