The Use of Automated Reasoning with the Command and Control System to Simulation System Interoperation (C2SIM) Standard | Synapse