Solution-Space-based ATC Support for 4DT Heterogeneous Aircraft-Mix Control | IEEE Conference Publication | IEEE Xplore