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