Afiq, M. and Farhan, S. 2022. 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. 12, 3 (Mar. 2022), 1–23.