A State-Centered Multi-formalism Behavioral Modeling Method for Combat System Effectiveness Simulation | IEEE Conference Publication | IEEE Xplore