Report on the Nasa/asee 1980 Summer Study on Advanced Automation for Space Missions