Model-Based Platform Composition for Embedded System Design | IEEE Conference Publication | IEEE Xplore