Software reliability and safety - Littlewood, B; Miller, D (Elsevier Applied Science, 1991)