Ground control station development for the dexterous orbital servicing system | IEEE Conference Publication | IEEE Xplore