M. Afiq and S. Farhan, “Certified Multi-Fidelity Digital Twins for Soluble Gas-Kick Transients: Reachability-Bounded Alarm Integrity and Real-Time Risk Quantification”, JET-SEAR, vol. 12, no. 3, pp. 1–23, Mar. 2022, Accessed: Nov. 02, 2026. [Online]. Available: https://fismlibrary.com/index.php/JET-SEAR/article/view/Certified-Multi-Fidelity-Digital