SAE/TP 2009-01-2527 (PDF) Human-rating Automated and Robotic Systems ?C How HAL Can Work Safely with Astronauts