Mohammed El Shobaki Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation. 10046-10050 1998 conf/euromicro/1998 EUROMICRO http://csdl.computer.org/comp/proceedings/euromicro/1998/8646/01/864610046abs.htm db/conf/euromicro/euromicro1998.html#Shobaki98