An analysis programming language applied to the double delay problem in aviation | IEEE Conference Publication | IEEE Xplore