Theory and Applications of Dependable Computer Systems | lit.salon