A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC