Bayesian leveraging of historical control data for a clinical trial with time‐to‐event endpoint