Dependable computing third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings / - Bondavalli, Andrea.; Brasileiro, Francisco Vilar,; Rajsbaum, Sergio. (Springer,)