13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007)