Design and realization of air-to-air missile counterwork evaluation system based on HLA | IEEE Conference Publication | IEEE Xplore