Rigid Body Dynamics for Space Applications