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