Deakstadieđáhus: Stabilization, safety, and security of distributed systems : 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009, proceedings / Rachid Guerraoui ; Franck Petit (ed.).