Cristiana Bolchini Antonio Miele Donatella Sciuto Fault Models and Injection Strategies in SystemC Specifications. 88-95 2008 DSD http://dx.doi.org/10.1109/DSD.2008.35 conf/dsd/2008 db/conf/dsd/dsd2008.html#BolchiniMS08