RTOS scheduling in transaction level models.

Haobo Yu Andreas Gerstlauer Daniel Gajski RTOS scheduling in transaction level models. 31-36 2003 conf/codes/2003 CODES+ISSS http://doi.acm.org/10.1145/944645.944653 db/conf/codes/codes2003.html#YuGG03