Andreas Gerstlauer Haobo Yu Daniel Gajski RTOS Modeling for System Level Design. 10130-10135 2003 conf/date/2003 DATE http://csdl.computer.org/comp/proceedings/date/2003/1870/01/187010130abs.htm db/conf/date/date2003.html#GerstlauerYG03