Reasoning About Software In The Presence Of Transient Faults. door Frances Jane Perry