Dependable Computing, LADC, Latin-American Symposium on