Takashi Furukawa Shinya Honda Hiroyuki Tomiyama Hiroaki Takada A Hardware/Software Cosimulator with RTOS Supports for Multiprocessor Embedded Systems. 283-294 2007 conf/icess/2007 ICESS http://dx.doi.org/10.1007/978-3-540-72685-2_27 db/conf/icess/icess2007.html#FurukawaHTT07