Peled, D. A. Software reliability methods - New York Springer-Verlag 2001 - xix, 331p. - Text in computer science . ISBN: 0-387-95106-7