Design and verification of a safe autonomous satellite rendezvous maneuver