Title: Theory and Applications of Dependable Computer Systems