Event Graph based Warship Formation Air Defense Scheduling Model and Algorithm | IEEE Conference Publication | IEEE Xplore