ABDULLAH; HAFIZ MAHFOOZ UL HAQUE; NIDA HAFEEZ. Formal modelling and verification of autonomous reasoning based flight simulation system. Lahore Garrison University Research Journal of Computer Science and Information Technology, v. 8, n. 1, 24 Apr. 2024.