Dependable Computing First Latin American Symposium Ladc 2003 Sao Paulo Brazil October 21 24 2003 Proceedings