Describir: Advances in ultra-dependable distributed systems / [edited by] N. Suri, C.J. Walter, M.M. Hugue.