Computing systems reliability - Randell, B. (rz1, 1979)