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. Accessed November 2, 2026. https://fismlibrary.com/index.php/JET-SEAR/article/view/Certified-Multi-Fidelity-Digital