Book

Software reliability and safety

by B. Littlewood, D. Miller