2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing