Towards a functionally-formed air traffic system-of-systems | IEEE Conference Publication | IEEE Xplore