Dependable systems : software, computing, networks - Kohlas, Jürg, 1939- (Springer, 2006)