A Domain-specific Language for Automated Fault Injection in SystemC Models | IEEE Conference Publication | IEEE Xplore