An ontology for future airspace system architectures | IEEE Conference Publication | IEEE Xplore