System software reliability. - Hoang Pham (London Springer-Verlag, 2006)