Dependable computing third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; proceedings (Springer, 2007)