System software reliability - Pham, Hoang (Springer Series in Reliability Engineering, 2007)