Software dependability assessment. - Michael Martin Burke (1991)