Software reliability methods - Peled, Doron A. (Texts in computer science, 2001)