Reasoning about Software in the Presence of Transient Faults.

Paperback / softback