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