Dependable computing second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25 - 28, 2005 ; proceedings (Springer, 2005)