Probabilistic analysis of redandant systems - Srinivasan, S K (New York Springer-Verlag, 1980)