Software Reliability - Pham,Hoang (Springer, 2000)