Dependable Computer Systems (Advances in Intelligent