Reliability and continuous availability have become crucial for computer software in the information economy. Well-publicized failures from both industry and …