Composite system reliability evaluation using state space pruning | IEEE Journals & Magazine | IEEE Xplore