Text this: Methodology for prototyping increased levels of automation for spacecraft rendezvous functions /