RTOS Modeling in System Level Synthesis

H. Yu and D. D. Gajski, “RTOS Modeling in System Level Synthesis," TR 02-25, August 30, 2002. download pdf