A Model-Based Concept for RTOS Portability | IEEE Conference Publication | IEEE Xplore