Time Problems in HIL Simulation for On-orbit Docking and Compensation | IEEE Conference Publication | IEEE Xplore