Sang Cheol Kim, Sunggu Lee: Decentralized task scheduling for a fixed priority multicore embedded RTOS. Computing 97(6): 543-555 (2015)