Advances in ultra dependable distributed systems - Suri, N; Walter, C.J; Hugue, M.M (Institute of Electrical and Electronics Engineers, 1994)