Software Reliability Assessment with OR Applications - P.K. Kapur, Hoang Pham, A. Gupta, P.C. Jha (Springer, 2011)