Dependable Computing Edcc-4 by A.D. Gvishiani & F. Grandoni