Software Reliability and Recovery Techniques. (Reliability of Computer Systems & Networks, 2002)