Dependable Computing : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings - Rogério Lemos, Taisy Silva Weber, João Batista Camargo ((Lecture Notes in Computer Science))