Verification of Airport Control Using Lisp Functional Language | IEEE Conference Publication | IEEE Xplore