RTOS modeling for system-level design (2003)

by A Gerstlauer, H Yu, D Gajski