Cyber-physical integration in future aviation information systems | IEEE Conference Publication | IEEE Xplore