Controlling mission hazards through integrated abort and spare support optimization | Synapse