Dependable systems : software, computing, networks : research results of the DICS program / - Kohlas, Jürg; Meyer, Bertrand; Schiper, André (Springer, 2006)