Group Sequential Designs for Monitoring Survival Probabilities | Synapse