Text this: Spacecraft modeling, attitude determination, and control :