Research on availability simulation of Surface-to-Air missile weapon systems | IEEE Conference Publication | IEEE Xplore