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