A decision diagram based reliability evaluation method for multiple phased-mission systems | Synapse