[Lyu95] M. Lyu, editor Handbook of Software Reliability Engineering, [This book is a collection of excellent articles that detail the state of the art circa 1995 in reliable software design. It includes much of the current mathematical knowledge, many examples software testing, and case studies. It is an excellent reference work in this field.]