Designing reliable software. - John C. Munson; Ruth H. Ravenel (ISSRE, 1993)