PBN-Based Time-Optimal Terminal Air Traffic Control Using Cellular Automata | IEEE Journals & Magazine | IEEE Xplore