Estimating Operational Benefits of Aircraft Navigation and Air Traffic Control Procedures using an Integrated Aviation Modeling and Evaluation Platform | IEEE Conference Publication | IEEE Xplore