2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing