Title: Attitude Determination Error Analysis System (ADEAS) Mathematical Specifications Document