Cyber-physical system framework for future aircraft and air traffic control | IEEE Conference Publication | IEEE Xplore