Abdullah, Hafiz Mahfooz Ul Haque, and Nida Hafeez, “Formal modelling and verification of autonomous reasoning based flight simulation system”, Research Journal Of Computer Science And Information Technology, vol. 8, no. 1, Apr. 2024.