Predictive runtime verification of multi-processor SoCs in SystemC. - Alper Sen 001; Vinit Ogale; Magdy S. Abadir (DAC, 2008)