Flight deck information automation: A human-in-the loop in-trail procedure simulation study | IEEE Conference Publication | IEEE Xplore