"Predictive runtime verification of multi-processor SoCs in SystemC."

Alper Sen, Vinit Ogale, Magdy S. Abadir (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics