Methodology for Prototyping Increased Levels of Automation for Spacecraft Rendezvous Functions