Spacecraft Design Method Based on Knowledge Engineering | IEEE Conference Publication | IEEE Xplore