Afiq, Muhammad, and Syed Farhan. “Certified Multi-Fidelity Digital Twins for Soluble Gas-Kick Transients: Reachability-Bounded Alarm Integrity and Real-Time Risk Quantification”. Journal of Emerging Trends in Science, Engineering and Applied Research, vol. 12, no. 3, Mar. 2022, pp. 1-23, https://fismlibrary.com/index.php/JET-SEAR/article/view/Certified-Multi-Fidelity-Digital.