Stochastic C3 Modeling and Analysis for Maneuverable Battle Systems | IEEE Conference Publication | IEEE Xplore