Software reliability - Pham Hoang (Springer, 2000)