Luca Formaggio, Franco Fummi, Graziano Pravadelli: A timing-accurate HW/SW co-simulation of an ISS with SystemC. CODES+ISSS 2004: 152-157