Christian Cachin, Robbert van Renesse: Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013. ACM 2013, ISBN 978-1-4503-2457-1