Software Reliability Modeling - Shigeru Yamada (Springer, 2014)