Procedural oceanic air traffic control via electronic displays | IEEE Conference Publication | IEEE Xplore