Temporal Constraint Modeling and Conflict Resolving Based on the Combat Process of Air and Missile Defense System.