Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL.

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni

Browse the full SEFM paper archive.