Abstract RTOS modeling for multiprocessor system-on-chip | IEEE Conference Publication | IEEE Xplore