Modeling and Solution of Spatio-temporal Collaborative Planning in Joint Operations based on Temporal Constraint Network | IEEE Conference Publication | IEEE Xplore