Integrated attitude control with momentum management for spacecraft electromagnetic docking | IEEE Conference Publication | IEEE Xplore