Optimal mission abort policy for phased-mission systems | Synapse