A Coupled Analytical-Simulation Approach to Redundant Small Spacecraft AOCS | Synapse