Title: Proceedings of the 2013 Latin-American Symposium Dependable Computing