Dependable systems : software, computing, networks - Kohlas, Jürg, 1939-; Meyer, Bertrand, 1950-; Schiper, André, 1949- (Springer, 2006)