Title: Theory and Engineering of Dependable Computer Systems and Networks