Symbolic computations in nonlinear control of multibody space systems | IEEE Conference Publication | IEEE Xplore