Analysis of Requirements and Architecture of the Next Generation Flight Management System | IEEE Conference Publication | IEEE Xplore