A method for quantitative analysis of state/event fault tree