Verification of embedded real-time systems using hardware/software co-simulation | IEEE Conference Publication | IEEE Xplore