DYNAMO: a program for the simulation of transient faults in digital circuits | IEEE Conference Publication | IEEE Xplore