Fault Tolerant Controller Design to Ensure Operational Safety in Satellite Formation Flying | IEEE Conference Publication | IEEE Xplore