2013 Sixth Latin-American Symposium on Dependable Computing