Stabilization, Safety, and Security of Distributed Systems : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings - Ajoy K. Datta, Maria Gradinariu ((Lecture Notes in Computer Science))