Vitalsource Technologies, Inc. Spacecraft Modeling, Attitude Determination, and Control: Quaternion-Based Approach