Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings - Bondavalli, Andrea; Brasileiro, Francisco; Rajsbaum, Sergio (Springer Berlin Heidelberg, 2007)