A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems | IEEE Conference Publication | IEEE Xplore