A method of distributed multi-satellite mission scheduling based on improved contract net protocol | IEEE Conference Publication | IEEE Xplore