Computer systems reliability : infotech state of the Art Report 20 - Avizienis, A. (rz1, 1974)