A New Approach for Transient Fault Injection Using Symbolic Simulation | IEEE Conference Publication | IEEE Xplore