Computing systems reliability (Cambridge Univ. Press, 1979)