Spacecraft Modeling, Attitude Determination, and Control (Quaternion-Based Approach, Second edition)