Reasoning about Control Flow in the Presence of Transient Faults.

Frances Perry, David Walker

Browse the full SAS paper archive.