Software reliability - Kopetz, K (Macmillan, 1979)