2013 IEEE 32nd International Symposium on Reliable Distributed Systems (SRDS) (IEEE)