A methodology and initial results specifying requirements for Free Flight transitions | IEEE Conference Publication | IEEE Xplore