Composite system reliability evaluation using state space pruning | Synapse