Rachid Guerraoui Franck Petit Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings 5873 2009 http://dx.doi.org/10.1007/978-3-642-05118-0 978-3-642-05117-3 SSS Lecture Notes in Computer Science Springer db/conf/sss/sss2009.html