Automated Aircraft Trajectory Prediction Based on Formal Intent-Related Language Processing | IEEE Journals & Magazine | IEEE Xplore