Dependable Systems: Software, Computing, Networks Research Results of the DICS Program - Kohlas, Jürg; Meyer, Bertrand; Schiper, André (Springer Berlin Heidelberg, 2006)