Handbook of software reliability engineering - Lyu, Michael R. (IEEE Computer Society Press, 1996)