Requirements analysis for a multi-spacecraft flight system | IEEE Conference Publication | IEEE Xplore