Modeling anti-air warfare with discrete event simulation and analyzing naval convoy operations | IEEE Conference Publication | IEEE Xplore