System software reliability - Pham, Hoang 1960- (Springer, 2006)