Software Reliability Methods - Peled, Doron A. (New York: Springer, 2001)