Software reliability and safety - Littlewood, Beverley (Elsevier, 1991)