Reusable avionics software. Evolution of the flight management system | IEEE Conference Publication | IEEE Xplore