Abdullah; Hafiz Mahfooz Ul Haque; Nida Hafeez. Formal Modelling and Verification of Autonomous Reasoning Based Flight Simulation System. Research Journal Of Computer Science And Information Technology 2024, 8.