Distributed Computing for Formation Flying Missions | IEEE Conference Publication | IEEE Xplore