Handbook of software reliability engineering (IEEE Computer Society Press, 1996)