Afiq, M.; Farhan, S. Certified Multi-Fidelity Digital Twins for Soluble Gas-Kick Transients: Reachability-Bounded Alarm Integrity and Real-Time Risk Quantification. JET-SEAR 2022, 12 (3), 1-23.