Abdullah, Hafiz Mahfooz Ul Haque and Nida Hafeez (2024) “Formal modelling and verification of autonomous reasoning based flight simulation system”, Lahore Garrison University Research Journal of Computer Science and Information Technology, 8(1). doi: 10.54692/lgurjcsit.2024.081519.