Automating the Design of Instrument Flight Procedures | IEEE Conference Publication | IEEE Xplore