Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker. - Muhammad Rashid; Muhammad Qadeer; Husnain Raza; Muhammad Masood Ul Rehman; Imran Rasool; Nazir Ahmad Zafar (FIT, 2023)