Modeling and analysis of air campaign resource allocation: a spatio-temporal decomposition approach | IEEE Journals & Magazine | IEEE Xplore