Dependable Systems: Software, Computing, Networks : Research Results of the DICS Program - Jürg Kohlas, Bertrand Meyer, André Schiper ((Lecture Notes in Computer Science))