Air Defense Mission Planning of Ship Formation based on Event Network and Monte Carlo Simulation | IEEE Conference Publication | IEEE Xplore