System Software Reliability - Pham, Hoang (Springer-Verlag London Limited, 2006)