Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings - Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais Assis Silva ((Lecture Notes in Computer Science))