Platform-based spacecraft design: a formulation and implementation procedure | IEEE Conference Publication | IEEE Xplore