sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing (TCFTC), IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance ; in cooperaion with DARPA, LAAS-CNRS, University of Michigan ; with support from DARPA ... [et al.]IEEE Computer Societyc2002