Stabilization, Safety, and Security of Distributed Systems : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings - Rachid Guerraoui, Franck Petit ((Lecture Notes in Computer Science))