[Siewiorek82] D. P. Siewiorek and R. S. Swartz, The Theory and Practice of Reliable System Design, Digital Press, Bedford, Mass., 1982, [This book describes many of the underlying techniques and much of the well understood theory of high reliability computer system design.]