Distributed control of formation flying spacecraft using deterministic communication schedulers | IEEE Conference Publication | IEEE Xplore