Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings - Lemos, Rogério le; Lemos, Rogério le; Silva Weber, Taisy; Silva Weber, Taisy; Camargo Jr., Joao Batista; Camargo Jr., Joao Batista (Springer Berlin Heidelberg : Imprint: Springer, 2003)