Christian Cachin Robbert van Renesse Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013 HotDep ACM 2013 978-1-4503-2457-1 https://doi.org/10.1145/2524224 db/conf/hotdep/hotdep2013.html