Trajectory Synthesis for the Coordinated Inspection of a Spacecraft with Safety Guarantees