Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC