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