43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-0181-4