Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program

Juerg Kohlas , Bertrand Meyer , André Schiper