Temporal Constraint Modeling and Conflict Resolving Based on the Combat Process of Air and Missile Defense System | IEEE Conference Publication | IEEE Xplore