Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker | IEEE Conference Publication | IEEE Xplore